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.
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.
That’s quite the drawback. I’m not sure if I believe a large number of keywords would have a good effect on ergonomics