Haskell vs. C

code, computer science, languages, math, C++, Curry-Howard isomorphism, Haskell, types

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.

comments powered by Disqus