Tech Talk: God's Programming Language - Philip Wadler on Haskell
CoRecursive: Coding Stories
00:00
Monads
monads came from some work done by eugenio magi, whos currently it in italy. i was one of the first people to suggest using monads as a way of structuring functional programming. It turned out that there was a variant iv mode of logic that exactly corresponded to monads. There are lots of different moto logics and each corresponds to an interesting thing to do in computing.
Transcript
Play full episode
