I must repair Kleisli Arrows of Outrageous Fortune, expunging the outdated preprocessor stuff, but keeping the key ideas about monads on indexed sets (and the Hamlet gags).

I need it to be out there, so I can follow it up with Kripke Arrows of Outrageous Fortune, in which we explore free monads on presheaves.

To borrow a term from pedagogy, the point of designing a new programming language is to extract leverage from a threshold concept. Threshold concepts are so called because they are hard to learn. They require a shift in perspective, and it's that shift which makes things which previously looked hard actually become straightforward. Up becomes down.

So turn things upside-down.

Wanna know why I left Northern Ireland? Look at this fucking map https://petitionmap.unboxedconsulting.com/?petition=770527&area=uk

If you are a British citizen or a UK resident, please sign this petition to stop the apartheid that our government is planning for me, others like me, and others who even vaguely look like they might be a bit like me. https://petition.parliament.uk/petitions/770527

A handful of Comp Sci departments should teach masters programmes called "The Mathematics the Maths department should have taught you, given that you were bound to end up working in tech".

The greatest lie in computer science is that you can be a computer scientist without being a mathematician.

Anyway, here at Strathclyde, we have a bunch of people delivering theory and systems (same shit different day) who talk to each other, plot together, and dream big. We are having serious fun. Join us! https://www.jobs.ac.uk/job/DQS044/lecturer-in-mathematically-structured-programming-790646

That's right, folks! We're hiring! I'm the surviving founder member of the MSP group at Strathclyde, but I don't make the decisions. I'm kinda sorta responsible for the culture of the place, though. We think together, we don't keep (ha ha, professional) secrets (ha ha, my secret isn't secret any more), and we plot to put as much of our research into our undergraduate teaching as possible. Sign up! Show up! Help kids grow up!

If Copernicus and Galileo and Kepler had been alive now, people would have been like "Nah, we can just compute all those Ptolemaic epicycles. It's good enough!".

Yer free monad on a container C is yer C*, with container morphisms in I -> C* and C*;C* -> C*, giving a monad on sets.

But -* is itself a monad on containers, with container morphisms in C -> C* and C** -> C*. That’s the free monad monad.

Kleisli arrows in the free monad monad are container morphisms in C -> D*, which act as templates for catamorphisms. For every C shape, you get a D term whose variables tell you where to substitute the results of the recursive calls from each C position.

These templates can be recovered from the function itself by perturbation testing.

Mathematics should make you feel less stupid for having encountered it.

When Peter Mandelson was being vetted for the Washington gig and said "I barely knew him!", and those were his words, what the fuck do we think was going on with that ambiguity?