I was reading docs and I thought this line was funny because it really encapsulates most Haskell docs:

"Since Void values logically don't exist, this witnesses the logical reasoning tool of "ex falso quodlibet". "

@hyperrealgopher IDK, this looks appropriate. The Void type and the likes aren't used in IO cookie-cutter apps. They really do belong to the logic domain.

@dpwiz I believe you! But I often feel like many Haskell docs I read are a steep read (to me, at least).

@hyperrealgopher Yeah. There's definitely a breed of bad documentation particular to Haskell (and maybe Scala, although it should be more rare).

It's almost like c/c++ "examples" showing off their mastery of cmake idiosyncrasies instead of a task at hand.

@hyperrealgopher Similarly heady is #Rakulang's use of *Mu* as the root of the entire object system.

So, the core of the object system is named after a weird sort of negation I don't fully understand. It's very Zen.

Sign in to participate in the conversation

Fosstodon is an English speaking Mastodon instance that is open to anyone who is interested in technology; particularly free & open source software.