3 ms·

> that it is the closest language to mathematics and makes reasoning mathematically much easier than even other functional languages Closer than e.g. Lean?

• Zhyl 6y ago
  No, although I don't think you'd try to make a website backend in lean.
  • Rochus 6y ago
    > you'd try to make a website backend in lean Well, I would neither use Haskell for this purpose, and Lean is indeed supposed to also be a "programming language", not only a theorem prover.
    • Zhyl 6y ago
      That's interesting, I've only ever seen it being used in the context of mathlib.