3 ms·
Globalized type inferrence is still a problem when you want to build large programs. You change the implementation of one function and 20 functions further ther
by est31 7y ago
Globalized type inferrence is still a problem when you want to build large programs. You change the implementation of one function and 20 functions further there is a problem and you need to figure out all the interactions on the path between. Rust strikes a great compromise here IMO.
- vikiomega9 7y agoSort of sounds like the interfaces/components/boundaries/separation of concerns in your modules isn't up to scratch. This is more of an org issue around management as opposed to the language unless you think rust has a set of fetaurs that help with this
- ufo 7y agoI think that these days the Haskell best practices recommend adding a type annotation to all toplevel declarations, to help keep error messages manageable.