News for hackers. Stuff that matters.

A comment on Dhall: A Gateway Drug to Haskell. Parent comment

Re:Dhall: A Gateway Drug to Haskell by ParetoOptimal on Wednesday June 08, 2022 @03:19AM (#31664316)
> 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.

[ Parent | on HN ]
Re:Dhall: A Gateway Drug to Haskell by mbrodersen on Wednesday June 08, 2022 @08:36PM (#31676298)
Yep 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.
[ Parent | on HN ]