Haskell vs. C
Here’s a summary of the differences between typed functional languages and unsafe languages:
- Difficulty of easy things: Haskell ~ C
- Difficulty of hard things: Haskell < C
- Difficulty of impossible things: Haskell >> C
Kudos to anyone who knows what this means.
Tags: C++, Curry-Howard isomorphism, Haskell, types