3 ms·
Doesn't type inference stop at function boundaries, though? I'll grant you that idiomatic Haskell uses type annotations for function signatures (unlike idiomati
by mercurial 12y ago
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).
- steveklabnik 12y agoYes, it does, but that's a deliberate design decision, not a flaw. We decided enforcing this idiom was a good idea.
- mercurial 12y agoI think it was related to the quality of error messages as well.
- steveklabnik 12y agoRight. When you infer signatures, a change in one place can cause an error somewhere else, and so the error message is very misleading.