Comment on git is the monads by rog peppe

Thu, 15 May 2008 03:46:28 -0500

hey piers, different context from usual (not a session in newcastle, this), but interesting to see you’ve been learning haskell. i have too, on and off, (initially prompted by trying to understand the monad references in F#). for me, the turning point came when reading phil wadler’s paper “how to declare an imperative”, and writing a little implementation of an IO monad in C, just so i got a gut feeling for what was happening underneath.

i have to say i’ve felt the tutorial temptation too – i think it’s because all of the explanations feel inadequate until you find the one that works.

my one-sentence explanation of (my probably faulty view of) monads: they guarantee sequentiality by construction; anything not in the sequence gets discarded; the sequence starts when the function finishes. or something like that anyway.

you coming to shepley?

cheers,
  rog.

Comment on git is the monads by Piers Cawley

Thu, 15 May 2008 05:15:04 -0500

Hi rog. I’d not realised you were in this field as well.

Shepley’s not looking all that likely at the moment – I’d like to maybe get down for the Saturday, but I’ll be at the Cumberland for the John Birmingham Memorial singaround on Sunday.

All things can change though.

Just A Summary : git is the monads

Comment on git is the monads by rog peppe

Comment on git is the monads by Piers Cawley