Banner

Tag : domain

Monads and the meaning of imperative languages

Posted by alpheccar - Jan 16 2008 at20:45 CEST

This post is not about functional programming but about plain old imperative languages (C, Java, Python ... replace the dots with your favorite imperative language). I will try to show that you are forced to invent monads if you want to define the meaning of imperative languages ! I have not yet seen this approach to monads in the blogs and tutorials available on the web so I thought it could be a good idea to say a few words about it.