Hacker News new | past | comments | ask | show | jobs | submit login

Doesn't type inference stop at function boundaries, though? I'll grant you that idiomatic Haskell uses type annotations for function signatures (unlike idiomatic OCaml), but it is optional (which is convenient in a REPL).



Yes, it does, but that's a deliberate design decision, not a flaw. We decided enforcing this idiom was a good idea.


I think it was related to the quality of error messages as well.


Right. When you infer signatures, a change in one place can cause an error somewhere else, and so the error message is very misleading.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: