
24 Aug
2008
24 Aug
'08
6:33 p.m.
Hans van Thiel wrote:
so 'The Greenhorn's Guide to becoming a Monad Cowboy' is on http://www.muitovar.com/monad/moncow.xhtml
Forgot to say: nicely written! Some more comments: You can declare a fixity (infixr) for flop instead of using parentheses (yes, this is allowed; see 'elem' in the Prelude). Would make the code more readable. "(Recall that a type definition is just like a data definition, but with no choice operator (|).)" First, you mean to say 'newtype', not 'type' (as in the code). Second, a newtype may also contain only one data element (i.e. one type expression after the constructor), not many, as in a data type definition. Third, newtype is unlifted. Cheers Ben