2 ms·
Fair point! Although I wish they had found a way to add F# style global inference rather all these little tricks
by pharmakom 5y ago
Fair point! Although I wish they had found a way to add F# style global inference rather all these little tricks
- Thiez 5y agoI suspect type inference becomes pretty tricky in the presence of subtyping. I don't have any F# experience, but I have done some Haskell back in the days and I found the type inference very convenient. But I also think there is something to be said for limiting type inference to "inside" methods where it is effectively invisible to users of a class. Rust has made the same choice: you have type inference inside functions, but never outside.