I've mastered free monads, profunctor optics and zygohistomorphic prepromorphisms, but two skills still seem beyond me: poaching eggs without making a mess and eating noodles with chopsticks without making a mess. I've attempted both this morning and I won't be providing photos.
That’s because poaching eggs and eating noodles is in the real world where there’s state because physics.
-
-
Ah, but physics is just a pure function from an input state to an output state.
-
You sure? You write a proof, give me 100 copies, and I'll burn them and we'll see if they all look the same after.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.