I find it ironic that when you're being lazy in you typically end up using strict text

1990's folk: The GC, our greatest strength (apart from monads)

2020's haskell folk: The GC, our greatest weakness (apart from records)

Funniest Haskell library name competition. Please enter your candidates as replies to this toot. Hackage uploaded packages only.

@turion haskell fans be like: haskell good for parallel because immutable
haskell rts be like: haha mutator and gc both mutating the mutable heap go brrr

So you can't have without hell. It seems you can have Haskell without GC, and that sounds like an improvement already

Show thread

Ask hell is an anagram of and I think that's beautiful

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.


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-

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.

Show older

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