a couple of related links
I read the why-lambda blog entry and while the Djikstra monad seems interesting… I’m not really sure why. He just explores a kind of CPS transform of the state monad. Can anyone quickly explain what makes the Djikstra monad valuable? Should I even read the paper?