Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
mercurial
on Oct 13, 2014
|
parent
|
context
|
favorite
| on:
Why your first Rust FizzBuzz implementation may no...
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
on Oct 13, 2014
[–]
Yes, it does, but that's a deliberate design decision, not a flaw. We decided enforcing this idiom was a good idea.
mercurial
on Oct 13, 2014
|
parent
[–]
I think it was related to the quality of error messages as well.
steveklabnik
on Oct 14, 2014
|
root
|
parent
[–]
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: