Just check this monad tutorial (attached). It's really great for beginners.

-- Andre

---Begin Message------------- Forwarded message ---------- Date: Tue, 05 Jun 2001 11:26:12 -0300 From: Andre Santos <[EMAIL PROTECTED]> Newsgroups: depto.cursos.grad.if098 Subject: Monads for the Working Haskell Programmer http://www.engr.mun.ca/~theo/Misc/haskell_and_monads.htmTitle:Monads for the Working Haskell Programmer---

## Monads for the Working Haskell Programmer

-- a short tutorial.Theodore Norvell

Memorial University of Newfoundland

New: Updated to Haskell '98.This short tutorial introduces monads to Haskell programmers. It applies to Haskell '98. Gofer programmers (are there any left?) can read it too; there is a section at the end detailing the differences between Haskell and Gofer around monads and another about the differences between Haskell 1.3, Haskell 1.4, and Haskell 98.

The reader is assumed to have a familiarity with the basics of Haskell programming such as data declarations, function definitions, and lambda expressions. Familiarity with classes and instance declarations will help.

## Simulating states without Monads

Consider the following function

f1 w a = let (b, x) = g1 w a (c, y) = h1 w x b (d, z) = i1 w x y c in (d, z)where

a,b,c, anddall have the same type,State. In a sense this definition is very similar to an imperative program in whicharepresents the initial state,drepresents the final state, andbandcrepresent intermediate states. The functionsf1 w,g1 w,h1 w x, andi1 w x ycan be thought of as imperative routines that transform the state and produce results. The results are like the return values in C programs and are bound to variablesx,y, andzin the example. A C routine that corresponds to this would look something like this:int f1(float w) { const char x = g1(w) ; const double y = h1(w, x) ; const int z = i1(w, x, y) ; return z ; }All this explicit passing of states around can get a bit tedious, especially when programs are modified. It also makes the program hard to read vs. the equivalent C program.

Note that if we ignore the

w,x,y, andz, theng1,h1, andi1are being composed. Can we define a kind of "composition operator" that allows us to deal with the returned values as well as the state?## Simulating states with Monads

The functions that transform the state in the example above all have the type

State -> (State, a)for some result typea. Let's generalize over the type of the state and create a type to represent these transformstype StateTrans s a = s -> (s, a)Let us define two functions. The first is a kind of composition function.

(>>=) :: StateTrans s a -> (a -> StateTrans s b) -> StateTrans s b p >>= k = \s0 -> let (s1, a) = p s0 q = k a in q s1The second is a function that turns a value into an "imperative program" that does not change the state, but returns the result.

return :: a -> StateTrans s a return a = \s -> (s, a)Our original function may now be written with all the shunting of state around hidden by these operators:

f w = (g w) >>= (\x -> (h w x) >>= (\y -> (i w x y) >>= (\z -> return z)))You could also format this as follows

f w = g w >>= \x -> h w x >>= \y -> i w x y >>= \z -> return zYou should verify that

fis equal tof1, ifg = g1,h = h1, andi = i1.(Warning, if you really try to make the above definitions of

>>=andreturn, your Haskell compiler will complain, for reasons that will be explained later. However, you could try changing the names a little, e.g. change>>=to>==and changereturntortn.)## A nicer syntax

Now Haskell provides a nice syntax to sugar-coat the calls to

>>=. It turns out that the definition of f can also be written asf w = do x <- g w y <- h w x z <- i w x y return zThe "do" is a keyword of Haskell. Any program involving a "do" can be translated to one that doesn't use "do" by the following 4 rules:

1 An expression

dopattern<-expressionmorelinesbecomes

expression>>= (\pattern-> domorelines)2 An expression

doexpressionmorelinesbecomes

expression>> domorelines3 An expression

doletdeclarationListmorelinesbecomes

letdeclarationListindomorelines4. Finally when there is only one line in the do, an expression

doexpressionbecomes

expressionIn the second rule, we saw the >> operator; this is used when the result of the first operand is not subsequently used. It can always be defined as

p >> q = p >>= (\ _ -> q)So

do p qis the same as

do _ <- p qThe "do" notation follows the same conventions as other multi-line constructs in Haskell. All lines must be vertically alligned. Alternatively, you may use braces and semicolons if you prefer "free format":

do {x <- g w ; y <- h w x ; z <- i w x y ; return z }## How to Really Declare the StateTrans Monad.

So far we've seen the monad concept applied to implicitly passing state. However monads can be used to implement several other programming features including: consuming input, producing output, exceptions and exception handling, nondeterminisim. To handle this variety, the basic operations of

>>=andreturnare overloaded functions.(Haskell requires that overloaded functions be declared in class declarations and defined in instance declarations. This is the reason that

>>=andreturncan not be defined exactly as described in previous sections.)The class that

>>=andreturnare declared in is called Monad and is itself declared in the Haskell Prelude. That declaration looks like thisclass Monad m where (>>=) :: m a -> (a -> m b) -> m b (>>) :: m a -> m b -> m b return :: a -> m a fail :: String -> m a m >> k = m >>= \_ -> k fail s = error sTo make a state transform monad that actually works with Haskell's "do" notation, we have to declare

>>=andreturnwithin an instance declaration. There is one minor problem; type synonyms can not be used in instance declarations, so we defineStateTrans s aas a new type.newtype StateTrans s a = ST( s -> (s, a) )and we define the functions

returnand>>=for this type as follows:instance Monad (StateTrans s) where -- (>>=) :: StateTrans s a -> (a -> StateTrans s b) -> StateTrans s b (ST p) >>= k = ST( \s0 -> let (s1, a) = p s0 (ST q) = k a in q s1 ) -- return :: a -> StateTrans s a return a = ST( \s -> (s, a) )We don't need to define the

>>operator; it is defined automatically in terms of>>=.Note these new definitions change the type of functions like our example function f. Indeed f is no longer equal to f1, since its type is different. To apply members of the monad, we define a new function

applyST :: StateTrans s a -> s -> (s, a) applyST (ST p) s = p sNow

applyST fis equal tof1.## Which is the Monad?

Technically each Monad (in Haskell) is not a type, but a "type contructor". In our state transformer example, we have actually declared an infinite set of monads. For each type

s,there is a type constructorStateTranss.Each such type constructor has been declared to be a Monad by the instance declaration above.## An example

A short example shows how the StateTrans monad lets you code in a fairly imperative style.

We will implement a variation on Euclid's algorithm for finding the greatest common divisor of two positive integers.

while x != y do if x < y then y := y-x else x := x-y return xFirst we must define a type to represent the state:

type ImpState = (Int, Int)Next we define some simple state transformers to access and change the state. We use the type

()and its sole value,(), when a state transformer does not return a useful value.getX, getY :: StateTrans ImpState Int getX = ST(\(x,y)-> ((x,y), x)) getY = ST(\(x,y)-> ((x,y), y)) putX, putY :: Int -> StateTrans ImpState () putX x' = ST(\(x,y)->((x',y),())) putY y' = ST(\(x,y)->((x,y'),()))Now we can write the algorithm with the state squarely in the background:

gcdST :: StateTrans ImpState Int gcdST = do x <- getX y <- getY (if x == y then return x else if x < y then do putY (y-x) gcdST else do putX (x-y) gcdST)And finally a function to construct an initial state, run the program and discard the final state

greatestCommonDivisor x y = snd( applyST gcdST (x,y) )This small example only hints at the utility of monads. It would be much shorter to write the algorithm in a conventional functional style. The savings from not having to explicitly pass the state around become larger as the program becomes larger.

## Monads, Monoids, and Identities

The term "monad" comes from category theory, which is a branch of algebra (or, depending on whom you talk to, algebra is a branch of category theory). There is no need to understand the algebra at all to understand the use of monads in functional programming. This section and the next, just touch on the algebra a little bit.

Monads share some similarity with monoids* , with

>>=being similar to the monoid operation and thereturnoperator taking the place of the identity member. Specifically we have the following identities

return a >>= k = k a

p >>= return = p

(p >>= j) >= k = p >>= (\x->(j x >>= k))[provided x is not free in j or k]These identities hold in the StateTrans monad and ought to hold for any monad we define.

## Zeros and addition

Monoids sometimes also have a zero member and an addition operator.

In Haskell, the zero member of a monad is called

mzeroand the relevant identity is

mzero >>= k = mzeroIn a state transformation monad,

mzeromight represent an exception. I.e. an indication that the task can not be completed.When a Monad has a zero member, it often also has an addition operation,

mplus, obeying the following additional identities

p `mplus` mzero = p = mzero `mplus` p

p `mplus` (q `mplus` r) = (p `mplus` q) `mplus` rIt turns out that monads with zeros and addition are common enough that there is a library class, called MonadPlus, defined to encompass them.

If

mzerorepresents failure to complete a computation,mplusmight represent a way of combining alternative computations such that, if one fails, the other can succeed instead.## Exceptions, exception handling, and backtracking.

We generalize the StateTrans monad, to include a zero element and an addition operation. To do this we must change the type to include the possibility of failure:

newtype StateTransEx s a = STE( s -> Maybe (s, a) )(The Maybe type constructor is defined in the Haskell Prelude as

data Maybe t = Just t | Nothing"Maybe" is itself a Monad, but I won't be using that fact here.)

We use

Nothingto represent failure, i.e., an exception, andJust (s,a)to represent success with resultaand new states.We must define

>>=andreturnso that it is a monad. We define>>=so that it propagates exceptions. That is, ifpthrows an exception, then so doesp >>= f.instance Monad (StateTransEx s) where -- (>>=) :: StateTransEx s a -> (a -> StateTransEx s b) -> StateTransEx s b (STE p) >>= k = STE( \s0 -> case p s0 of Just (s1, a) -> let (STE q) = k a in q s1 Nothing -> Nothing) -- return :: a -> StateTransEx s a return a = STE( \s -> Just (s, a) )We define

mzeroandmplusto makeStateTransEx sa member of class MonadPlus.mzerowill mean throw an exception.mpluswill give a means to recover from an exception;mplus p qwill mean, execute p, but if an exception is thrown in p, then recover by executing q instead.Since MonadPlus is not in the Prelude, but rather the Monad library, we must import it from the Monad library (the import declaration must go at the top of your Haskell module).

import Monad( MonadPlus( .. ), guard ) instance MonadPlus (StateTransEx s) where -- mzero :: StateTransEx s a mzero = STE( \s -> Nothing ) -- mplus :: StateTransEx s a -> StateTransEx s a -> StateTransEx s a (STE p) `mplus` (STE q) = STE( \s0 -> case p s0 of Just (s1, a) -> Just (s1, a) Nothing -> q s0 ) applySTE (STE p) s = p sNow, if we execute

p `mplus` q, andpfails, then the computation will be resumed withq. Note thatqstarts with the state thatpstartedwith, not the state thatphad reached when the exception ocurred;pandqcan be regarded as alternative computations. Although I've called this exception handling, "backtracking" is arguably a more accurate term.We can use

mplusandmzeroto implement backtracking algorithms. Consider the classic problem of finding a way to place 8 queens on an 8 by 8 chess board such that no queen attacks another.First the state

type QState = ([Int], [Int], [Int])We use three lists to keep track of three sets: the set of occupied columns, the set of occupied south-west diagonals and the set of occupied south-east diagonals. The south-west diagonals are represented by the difference in the column and row number. The south-east diagonals are represented by the sum of the row and column number. There are functions to get and set each of these components of the state:

getCols = STE( \(cols, swDiags, seDiags) -> Just ((cols, swDiags, seDiags), cols) ) getSWDiags = STE( \(cols, swDiags, seDiags) -> Just ((cols, swDiags, seDiags), swDiags) ) getSEDiags = STE( \(cols, swDiags, seDiags) -> Just ((cols, swDiags, seDiags), seDiags) ) putCols c = STE( \(cols, swDiags, seDiags) -> Just ((c:cols, swDiags, seDiags), ()) ) putSWDiags sw = STE( \(cols, swDiags, seDiags) -> Just ((cols, sw:swDiags, seDiags), ()) ) putSEDiags se = STE( \(cols, swDiags, seDiags) -> Just ((cols, swDiags, se:seDiags), ()) )We don't want to add a column or a diagonal to a set it is already in. To ensure that we don't, we use the library routine guard defined by

guard true = return() guard false = mzeroThe following routines fail if the item being added to a set is already in the set:

tryPutCol c = do cols <- getCols guard (c `notElem` cols) putCols c tryPutSWDiag sw = do swDiags <- getSWDiags guard (sw `notElem` swDiags) putSWDiags sw tryPutSEDiag se = do seDiags <- getSEDiags guard (se `notElem` seDiags) putSEDiags seThe next routine attempts to place a queen at a particular spot, failing if the new queen would attack one that is already on the board. (I'm assuming there is no other queen in the same row, so no check is required to see if the row is occupied.)

place r c = do tryPutCol c tryPutSWDiag (c-r) tryPutSEDiag (c+r)The main algorithm to place queens in each of rows [0..r-1] of a board with colNum columns is:

queens r colNum = if r == 0 then getCols -- Success, return list of columns else tryEach [0..colNum-1] (\c -> do place (r-1) c queens (r-1) colNum )The tryEach "loop" is a control structure defined by

tryEach :: MonadPlus m => [a] -> (a -> m b) -> m b tryEach [] f = mzero tryEach (h:t) f = f h `mplus` tryEach t f(We could also define

tryEachin terms of the library function,msum, which takes a list of monad members and combines them withmplus:tryEach xs f = msum (map f xs)).To find an arrangement on an 8 by 8 chess board we write:

applySTE (queens 8 8) ([], [], [])## Nondeterminism

The StateTransEx monad provides a limited form of nondeterminism. Computations either succeed or fail, but if they succeed, they succeed but once. For example in

do (p `mplus` q) rif

psucceeds and thenrthen fails,qwill not be given a chance to "execute".To get nondeterminism of the sort found in languages such as Icon, SNOBOL, and Prolog, we need to allow a computation to succeed more than once. To create such a monad, we replace the Maybe type constructor with the list type constructor:

The type is

newtype StateTransMany s a = STM( s -> [(s, a)] )I leave it as an exercise to define

>>=,return,mplus, andmzerofor this monad, and to change the queens example to generate all solutions to the 8-queens problem.## The IO Monad

Haskell defines a monad called IO that is used to describe computations that interact with the operating system -- in particular to perform input and output. For example, here is how you can write a function to read a file, printing an error message if the file can not be read

maybeReadFile :: String -> IO (Maybe String) ---- -- Read a file or print an error message and return Nothing. maybeReadFile fileName = catch (do s <- readFile fileName return (Just s)) (readErrHandler fileName) readErrHandler :: String -> IOError -> IO (Maybe String) readErrHandler fileName err = do putStr ("Error reading file " ++ fileName ++ " " ++ show err ++ ".\n") return NothingYou can see that the IO monad also supports exception handling, though with the "catch" function, not the

mplusoperator. (mpluswould be inappropriate because changes to the world can not be undone!)In Haskell the main program should be of type

IO().It is often said that pure functional languages can't be used to write interactive programs. At first glance the IO monad seems to contradict this idea. You can think of it this way: When your functional program is executed, it does not interact with the operating system, it merely computes an object of type

IO(),which describes a set of possible interactive computations. An interpreter interacts with the environment to make one of these computations happen. The fact that Haskell is a lazy language is key to this, for the set of computations for many applications is infinite, even if each computation is finite. The choice of which computation is needed is governed by the input; thanks to lazyness, only the computation that is actually required is computed.## Lists as a Monad

The list type constructor itself is a simple monad. Its definition is

instance Monad [ ] where xs >>= f = concat (map f xs) return x = [x] instance MonadPlus [ ] where mzero = [] mplus = (++)(The notation

[ ]in the first line of each instance declaration refers to the list type constructor, i.e. the function that maps each type to its corresponding list type.)The definition of the list constructor as a monad allows one to write such things as

do a <- [1,2,3] b <- [3,4,5] return (a+b)This evaluates to

[4,5,6,5,6,7,6,7,8] ,just as does the list comprehension

[ a+b | a <- [1,2,3], b <- [3,4,5] ]## Monads and Software Engineering

The key to engineering a large software project is to make changes easy..

Monads can be used to make functional programs far more adaptable. You need to insert another processing step? Go right ahead, don't worry about plumbing the state. You need another variable in the state? No problem, just change the underlying state and the basic members of the monad. You need to output messages from your computation? No problem, just change the monad to add an output string. You need to handle exceptions or nondeterminism? No problem, just change the monad.

It might be said that Haskell with monads does not give you much that you won't find in an imperative, nondeterministic language, with extensible, strong, but generic typing, and a powerful applicative expression sublanguage. The problem is there is no such language in common use. Monads make up for many of the drawbacks of Haskell relative to imperative languages, but without giving up any of its strengths.

## More information

Monads can be used for parsing. By using the remaining input as state, the StateTrans monad can be used to write deterministic recursive-descent parsers. Better yet, the StateTransEx and StateTransMany parsers can (respectively) be used to create backtracking parsers and non-deterministic parsers (allowing ambiguous grammars). Monadic parsing is the topic of the following paper:

Graham Hutton and Erik Meijer,

Monadic parser combinators, Technical Report NOTTCS-TR-96-4, Department of Computer Science, University of Nottingham.Available on the Web at http://www.cs.nott.ac.uk/Department/Techreports/96-4.html

I like to add an output for error and warning message, to the monad, and the possibility of fatal errors that can not be recovered from. I also use a clearer separation between parsing and lexical analysis than Hutton and Meijer. My own monadic parsing combinators are available on the web at http://www.engr.mun.ca/~theo/Misc/index.html#ParsingMonad

The IO monad and the theory behind it is reported in

Philip Wadler,

How to declare an imperative, ACM Computing Surveys, 29(3):240--263, September 1997.Available on the Web at http://www.cs.bell-labs.com/who/wadler/topics/monads.html.

An extension of the IO monad for use in systems with graphical user interfaces, is the GUI monad that lets Haskell or Gofer interact with the tk library. The GUI monad, many widgets and operators to compose widgets can be found in the TkGofer and TkHaskell systems. See http://www.informatik.uni-ulm.de/pm/ftp/tkgofer.html and http://www.dcs.gla.ac.uk/~nww/TkHaskell/TkHaskell.html.

One of the best introductions to monads is in

Philip Wadler,

Monads for functional programming, in M. Broy, editor, Marktoberdorf Summer School on Program Design Calculi, Springer Verlag, NATO ASI Series F: Computer and systems sciences, Volume 118, August 1992. Also in J. Jeuring and E. Meijer, editors, Advanced Functional Programming, Springer Verlag, LNCS 925, 1995.Available on the Web at http://www.cs.bell-labs.com/who/wadler/topics/monads.html.

The first paper that I know of to deal with monads as a tool in functional programming is

Philip Wadler,

The essence of functional programming. Invited talk, 19'th Symposium on Principles of Programming Languages, ACM Press, Albuquerque, January 1992.Available on the Web at http://www.cs.bell-labs.com/who/wadler/topics/monads.html.

There is a whole lot that could be said about the mathematical theory of monads. It is my belief that most programmers don't need to know much of this theory to reap the benefits of programming with monads. Philip Wadler's papers give an introduction to the mathematics and pointers back to the earlier, more mathematical, literature.

## A Note for Gofer Programmers

Almost everything in this tutorial applies equally to Gofer. However a few notations are different. I think the following table completely summarizes the notational differences assuming you are using Gofer 2.30 and the cc.prelude prelude.

Haskell Gofer >>=replace by `bind`>>no equivalent? returnreplace by resultnewtypereplace by dataMonadPlusreplace by Monad0andMonadPlusGofer supports both the "do" syntax (if Gofer is compiled with the right options) and a "comprehension" syntax for monads explained next. In Gofer the so-called "list" comprehension notation is an alternative to the "do" notation, no matter whether you are using the list monad or any other monad. You can write

[a+b | a<-getX, b<-getY]which means the same as

do a <- getX b <- getY return (a+b)The advantage of the "do" notation is that it doesn't force you to end with a "

return".In Gofer, each instance of class Monad must be an instance of class Functor. To be in class Functor a monad m must support a function called map of type (a -> b) -> (m a -> m b). The map function lifts an ordinary function to a monad function. For monads, it can always be defined by

map f p = [f a | a <- p]In Gofer, use of the IO monad requires a special compilation option and inclusion of the file iomonad.gs.

## A Note for Haskell 1.3 and 1.4 users

In Haskell 1.3 and 1.4

mzerois calledzeroandmplusis called++. There is a separate class MonadZero, declaring the zero. All the classes are declared in the Prelude, so you do not need to import from Monad.Haskell 1.4 supports the comprehension syntax for Monads (see the Gofer section).

## End Notes

## Monoids

A monoid is an algebraic structure consisting of a set

Sand an operation * with the following properties

- Closure:
x*yis inS, ifxandyare both inS.- Associativity:
x*(y*z) = (x*y)*zfor allx,y, andzinS.- Identity:
- There is an element
einSsuch thate*x= x*e = x, for allxinS.Examples of monoids are the integers with multiplication as the operator, character strings with catenation as the operator, functions with composition as the operator, and programming langauge statements with sequential composition as the operator. Also any group is a monoid and any monoid that has inverses is a group.

End Message---