[jes5199]

I could not agree less. People used to call Python “executable pseudocode” - in that spirit, Haskell is executable pseudo-math. If you’ve done enough higher math that a professor’s whiteboard notation feels natural to you, then Haskell might feel like a reasonable approximation of that style. Otherwise: it’s line noise.

(I write Haskell professionally)

[anthk]

That's what I felt with MLite, my intro to ML languages (A quick start in Ocaml barely counts, so didn't configuring XMonad back in the day).

It's like declaring math statements, observations and rules as if it were a Math textbook.

https://www.t3x.org/mlite/index.html