News for hackers. Stuff that matters.
Re:Haskell: The Bad Parts, part 2 (2020) by 3np on Tuesday February 09, 2021 @10:32AM (#26078605)
Do you think there's any hope of Haskell community moving to Idris? It's years since I did either but I think Idris is just a Better Haskell without several of the issues brought up.
Re:Haskell: The Bad Parts, part 2 (2020) by lupire on Tuesday February 09, 2021 @11:12AM (#26079183)
For small programs, but not in general. Haskell has too many more language features and libraries.