circular reasoning is a potential source of unsoundness
circular reasoning is a potential source of unsoundness
Posted Apr 12, 2026 1:31 UTC (Sun) by suckfish (guest, #69919)In reply to: circular reasoning is a potential source of unsoundness by garyguo
Parent article: Rust's next-generation trait solver
In mathematical terms, the "circular reasoning" appears to arise from taking the greatest-fixed-point of an operator or some sort or partially ordered structure as opposed to the more common least-fixed-point.
How to do this soundly and then reason correctly about the results has been well understood for over 30 years in the functional programming community.