Hacker NewsMar 14, 2025

The Cassowary Linear Arithmetic Constraint Solving Algorithm [pdf] (2002)

https://constraints.cs.washington.edu/solvers/cassowary-tochi.pdf

#HackerNews #Cassowary #Algorithm #LinearConstraints #PDF #ConstraintSolving #2002Research

Jesper Agdakx 🔸Nov 22, 2023
I really need this in my Haskell: github.com/ghc-proposals/ghc-proposals/pull/621

Sadly, even if it gets merged it will take at least 5 more years before we can use it in the Agda codebase.

#Haskell #Agda #LinearConstraints
Linear constraints proposal by aspiwack · Pull Request #621 · ghc-proposals/ghc-proposals

Adds a linear fat arrow %1 => this is meant to greatly improve the ergonomics of some of the APIs using linear types (it tends to apply to APIs based on typestate or related to mutation). Rendered....

GitHub