4 ms·

Haskell: other languages make making mistakes too easy.

• tel 14y ago
  Haskell: programming is math but other languages make that unnecessarily hard to see
  • jackpirate 14y ago
    Agda: programming is math but other languages (even haskell) make that unnecessarily hard to see FTFY
    • tel 14y ago
      Haha, yeah. Or Agda: when Turing completeness gets in the way of your mathematical logic.
• aero142 14y ago
  Haskell: My proofs are correct but my code is wrong. I just want to execute my induction proofs.
  • tel 14y ago
    More like Agda or Coq?
  • freyrs3 14y ago
    That's probably more Coq.
• dxbydt 14y ago
  Haskell: what every Scala baby wants to be when he grows up