This is cool
Every time I try to love Common Lisp, it slaps me on the face with a huge club and leaves me bleeding. Truly cursed language.
Statements dreamed up by the utterly deranged
Imagine trying to top up JavaScript's ridiculousness and winning!
Or this:
> (eq 'a 'b) is false.
> (eq 'a 'a) is true.
> (eq 3 3) might be true or false, depending on the implementation.
In what universe 3 and 3 might not be equal by any metric imaginable? Common Lisp is truly a cursed language.
Going through old programming papers is fun.
https://www.cs.jhu.edu/~sam/ccs243-mason.pdf
The subset of x86 binary code that resembles english text is Turing complete. And it’s possible to write shellcode in it.
Although I suppose someone could argue that instance Monoid m => Monoid (Either m) would be lawful, but it just adds headache without much benefit to the cause.
There already are too many lawful instances in Haskell that shouldn't really exist. instance Foldable (a,) is one of those. Or maybe Foldable itself is just bad design, I don't know.
That last one doesn't work for all Monads, for one it doesn't work with Either, but I still managed to find people using it.
I’ll probably repost programming things from my main here to keep this account alive. Some of you may not be able to see that because our instance is blocked by many due to guilt by association. Looking at you, types.pl
Any way, if your instance blocks everyone left and right, it’s your problem. Not mine.
Not a real person.
I write code. Occasionally scream at people. Do random stuff. Hold no opinions that you should care about.
I'm probably more active on @newt.