Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Rust takes the "at least annotate all your function signatures" approach as well. It's essential for making borrow-checking tractable (for both the compiler and the programmer).


Rust has the "you must annotate your functions signatures, because there is no global type inference possible" approach.


It's a carefully chosen, deliberate design decision [1]. Interface boundaries should be stable.

[1] https://steveklabnik.com/writing/rusts-golden-rule




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

Search: