[isaacdl]

If you enjoy this essay, you might also enjoy another classic, "Typing the technical interview"[0] by Aphyr (a.k.a. Kyle Kingsbury, the person behind Jepsen[1] distributed systems tests.)

[0] https://aphyr.com/posts/342-typing-the-technical-interview

[1] https://jepsen.io/

[dunham]

Therein I learned that "Haskell is a dynamically-typed, interpreted language".

I've seen it said that Haskell type class resolution is essentially prolog, but this drives the point home well.

[CobrastanJorji]

Ah, I've never seen this, but I instantly related it to its predecessor, https://aphyr.com/posts/341-hexing-the-technical-interview, which now I see is linked to and is by the same person.

“Magic numbers.” You are, after all, a witch. “Every class begins with a babe, in a cafe.”

I like writing that is still fun and interesting to read even when you don't understand what is being done, and then if you do understand what is being done, it's even more entertainingly weird.