3 ms·
> 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
by 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.