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.

  • Kogasa
    3·
    10 months ago

    That’s quite the drawback. I’m not sure if I believe a large number of keywords would have a good effect on ergonomics