Type Inference Was a Mistake
borretti.me
On type inference as an academic computer science lab leak.
  • Alex
    2•1 year ago

    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.