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