THE WAY TO BE SURE @pureevil@functional.cafe

I unapologetically use Maybe (NonEmpty a) instead of [a] in many cases. And my coworkers hate me for this.

https://coredumped.dev/2022/05/19/a-vision-of-a-multi-threaded-emacs/

https://plfa.inf.ed.ac.uk/

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.

Which one makes more sense for you and why?

whenJust :: Applicative f => Maybe a -> (a -> f ()) -> f ()

or

whenJust :: (Applicative f, Monoid m) => Maybe a -> (a -> f m) -> f m

or

whenJust :: Monoid m => Maybe a -> (a -> m) -> m

lol no generics language still has no generics. We are safe, boys!

Ok, guys. I'm gonna tell you something bizarre. Something so retarded, it's mind-boggling! I swear! Are you ready? ​

strdup() function isn't a part of the C standard ​

The funniest fact about the C programming language is that the three most common C compilers (MSVC, GCC, and Clang) are not implemented in C ​

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.

I always forget I have this account and instead post programming stuff on my main