Type inference was a mistake
Type inference was a mistake
borretti.me Type Inference Was a Mistake
On type inference as an academic computer science lab leak.
You're viewing a single thread.
46
comments
That’s false for closures (or unnamed/inline) functions with context because their type is unique and so you just can’t write their type and that’s not a lang’s fault - that’s logically correct side-effect by-design.
You've viewed 46 comments.