Unification-free ("keyword") type checking
Unification-free ("keyword") type checking
https://www.haskellforall.com/2024/02/unification-free-keyword-type-checking.html
Unification-free ("keyword") type checking From my perspective, one of the biggest open problems in imple...
The author claims that by removing some type inference (lambdas and generic instantiation) you can reduce the amount of code required to implement type-checking.