alpheccar's blog - tag semantic http://www.alpheccar.org en 40 science and freedom http://www.alpheccar.org alpheccar's blog - tag semantic http://www.alpheccar.org/images/avatar.jpg Monads and the meaning of imperative languages 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.

Read More...

]]> Wed, 16 Jan 2008 14:19:23 -0500 urn:uuid:85 webmaster@alpheccar.org http://www.alpheccar.org/en/posts/show/90 http://www.alpheccar.org/en/posts/show/90#comments haskell monad semantic domain