4 ms·
I know Haskell quite well but never reach for it when programming. Languages like F# and ocaml gives me most of the benefits of functional programming without h
by mbrodersen 4y ago
I know Haskell quite well but never reach for it when programming. Languages like F# and ocaml gives me most of the benefits of functional programming without having to deal with the unpredictability of lazy evaluation and the 10 level deep pollution of a single IO call. Also, when it comes to leading edge type systems, Haskell is falling behind. Dependently Typed languages like Agda and Idris are way more interesting from an advanced type system point of view.
- ParetoOptimal 4y ago> Dependently Typed languages like Agda and Idris are way more interesting from an advanced type system point of view. Yeah, but with Haskell you have a usable healthy ecosystem for real world code now.
- mbrodersen 4y agoYep that is correct. Which is why I am using Agda/Idris to expand my mind and F# for real world applications since F# can use the full .NET ecosystem.