mogge
morning
👋
mån!ng
Good Morning!
Morn' 😃
Morning
Morning
So, at the weeknd (well, since Friday evening), I went down the rabbit hole
and pulled apart a lot of my application, now it's broke. But, I can reassemble it (avengers unite!) into better shape.
i just pulled a codebase to pieces too @dharrigan, to rebuild it stronger and better - it's one of my favourite things to do
🙂 Causes a little bit of fret...tendency to bikeshed 🙂
every time you reassemble, it gets a little more ductile...
until in the end it completely snaps.. (probably)
Hmm perhaps supple
would be a better description
still less than half way done with monadparty 2021 refactor of this codebase
I heard once about the Curse of Monads
aka, once you know about monads, you loose the ability to describe what a monad is
it's a container, that is guaranteed to compose with other containers of its type
monads, done
🎤 drop?
pretty much :D
i mean obv there's infinite subtlety to how that thrashes out, but it's basically about composition at its core
obv side effects are the original motivation https://www.microsoft.com/en-us/research/wp-content/uploads/1993/01/imperative.pdf
i find the more i work with them, the more 'aha' moments i get from re-reading the paper
i've been working with them for a good while, and i'm still getting aha
moments... i should probably go and re-read the paper
a lot of the interesting bit is almost the motivation section
also the vs effects & continuations discussion