You know what the most dangerous monad in is? It's the free monad. Because it has no laws. :beebo: :ats:

More . Simon Marlowe can run code in parallel that requires Monad m and not just Applicative m

The fate of every major invention or discovery in the ecosystem is either

1.) To stay confined to the Haskell (& related languages) world, and never gain traction in other languages.

or

2.) To be (mis)translated into other languages, with the true origin forgotten. I'm looking at you QuickCheck, and your illegitimate children called propcheck, proptest, quicktest, or any such combination of syllables

projects are like Theseus ship, you gotta replace replace every line of code eventually with the next react version. projects are like antique Greek sculptures where everything is perfect in an immortal way. Until Functor-Applicative-Monad, then you gotta replace all the nasty (Functor m, Monad m) by well-mannered Monad m, the same way they lobbed all the pricks off the statues

When a JavaScript library doesn't see a commit in a year, it's considered dead. When a Haskell library doesn't see a commit in a year, it's considered farsighted design.

trivia. Functor translated to German is "Funktor". Additionally, Funktor means "wireless remote controlled gate", and I think that's beautiful

After cleaning up a barn where three horses do IO on a lot of hay, I can finally fathom how the garbage collector must feel when I feed it a program

Btw although we have machine overlords, on our daily lives as puny humans they have basically no _side effects_. *badumtss*

Show thread

We are writing the year 2149. All our machine overlords are running on . It is a day of great celebration, for we await - since over a century - the major release of a library our very lives depend on: base-5.0.0.0

Linear types are awesome. I can't wait until GHC 10, then we'll have quadratic types in

Oh so GitHub made an code completion tool with machine learning that has been trained on (among other os licenses) GPL licensed code. The tool is not GPL licensed and you can use it wherever you want. I'm not an expert but how can this not be a massive license violation 🧐

presented in the context of caring for children in nature but this is really applicable to a lot of parenting/caregiving.

a similar kind of specifity is also the solution for "how was your day at school" syndrome.

is the PERFECT language to get well-paid programming jobs. You waltz into the interview, say "a monad is an endomonoid in the category of categories", implement fibonacci in one line and BAM everyone loves you and pours out money over your head.

Ah you mean a job where you actually DO haskell? Ahahaaahaahahaha no.

More . The following is actually true (unlike every other post here): GHC used to have a bug where it deleted code files that didn't type check. Call that garbage collection if you will.

Some : Simon Peyton Jones never introduces GHC bugs. He introduces undocumented language features.

will never pick up speed as a mainstream production language if we don't merge dependent types soon

Existential types? Existential dread, more likely

Someone on Reddit pointed out that the KDE tagline has been “Simple by default, powerful when needed” for the last couple of years

Show older
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.