4 ms·
> 1) Statically typed languages with inference What are some strong examples of this? Haskell does an amazing job with it. Java technically supports some amoun
by greymalik 4y ago
> 1) Statically typed languages with inference
What are some strong examples of this? Haskell does an amazing job with it. Java technically supports some amount of inference, but it doesn’t reduce verbosity by all that much. Apart from those I haven’t run into it.
- sanedigital 4y agoSwift and Kotlin both do a fantastic job here. You think in types but don’t have to spend much time typing them.
- aranchelk 4y agoHaskell and PureScript are the ones I’ve used.
- albntomat0 4y agoOff the top of my head, Rust and OCaml do as well. Ive had to occasionally specify a type, but it works well in practice.