3 ms·
Haskell is by no means perfect. You should try learning a dependently typed language like Agda or Idris in order to understand some of its flaws.
by DanWaterworth 14y ago
Haskell is by no means perfect. You should try learning a dependently typed language like Agda or Idris in order to understand some of its flaws.
- seanmcdirmid 14y ago> You should try learning a dependently typed language like Agda or Idris in order to understand some of its flaws. Why not just try something a bit more mainstream like COQ?
- DanWaterworth 14y agoCoq is also a good choice. Coming from Haskell, though, I think Agda/Idris have a shallower learning curve. It also sits more happily on the theorem proving side of things than the programming side.