Post ABLlIC6JMgQAPweQzI by dpwiz@mastodon.social
 (DIR) More posts by dpwiz@mastodon.social
 (DIR) Post #ABLcqeMxs0ZuLinOMq by hyperrealgopher@fosstodon.org
       2021-09-14T09:20:05Z
       
       0 likes, 0 repeats
       
       I was reading #haskell 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". "
       
 (DIR) Post #ABLdFF9YlCz3NlFihE by funkyduck@fosstodon.org
       2021-09-14T09:24:33Z
       
       0 likes, 0 repeats
       
       @hyperrealgopher
       
 (DIR) Post #ABLiKa4EveafSu82GO by symmetrizer@fosstodon.org
       2021-09-14T10:21:32Z
       
       0 likes, 0 repeats
       
       @hyperrealgopher god damn it one day I'll get my thumb out of my butt and try out haskell. it looks so good to me.
       
 (DIR) Post #ABLiPx6ugNakNcwNA8 by hyperrealgopher@fosstodon.org
       2021-09-14T10:22:30Z
       
       0 likes, 0 repeats
       
       @symmetrizer Haskell is all I do nowadays. I can't look back. That being said there are some big problems with Haskell, I think.
       
 (DIR) Post #ABLlIC6JMgQAPweQzI by dpwiz@mastodon.social
       2021-09-14T10:54:42Z
       
       0 likes, 0 repeats
       
       @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.
       
 (DIR) Post #ABNWbvpCTi6WjYWMTY by hyperrealgopher@fosstodon.org
       2021-09-15T07:19:38Z
       
       0 likes, 0 repeats
       
       @dpwiz I believe you! But I often feel like many Haskell docs I read are a steep read (to me, at least).
       
 (DIR) Post #ABNYRorpgujUAT3fOK by dpwiz@mastodon.social
       2021-09-15T07:40:13Z
       
       0 likes, 1 repeats
       
       @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.
       
 (DIR) Post #ABPJRm5PDERmkC0SfY by profoundlynerdy@mastodon.technology
       2021-09-16T04:01:33Z
       
       0 likes, 0 repeats
       
       @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.https://docs.raku.org/type/Mu