Hello Paul,
Wednesday, August 03, 2005, 2:31:05 AM, you wrote:
PM> Hmm, I've had on my list to look at the source of Darcs (and Pugs) as
PM> nice "real-life" large-scale programs. I'm not sure I'm ready yet,
PM> but maybe I should see how I go...
i also recommend you Yi and my own FreeArc as exam
David Roundy <[EMAIL PROTECTED]> writes:
> A very nice simple starting monad from the Prelude to consider when
> thinking about these things is Maybe.
[...]
> It took me a long time before I realized I could do this,
Wow, that's a really nice example.
> For more complicated practical examples
On Tue, Aug 02, 2005 at 09:03:49PM +0100, Paul Moore wrote:
> I've started learning Haskell, and I'm going through all the tutorial
> material I can find - there's a lot of good stuff available.
>
> One thing I haven't found a really good discussion of, is practical
> examples of building monads.
Paul Moore wrote:
> One thing I haven't found a really good discussion of, is practical
> examples of building monads. There's plenty of discussion of the IO
> monad, and the state monad, and a lot of good theory on monads, but
> although I've seen tantalising statements about how powerful the
> ab
On Tue, 2 Aug 2005, Paul Moore wrote:
I've started learning Haskell, and I'm going through all the tutorial
material I can find - there's a lot of good stuff available.
One thing I haven't found a really good discussion of, is practical
examples of building monads.
I've not really seen any. S
On Tuesday 02 August 2005 22:03, Paul Moore wrote:
> FWIW, I've read (among other papers) "Why Functional Programming
> Matters", "A Gentle Introduction to Haskell", Hal Daume's "Yet Another
> Haskell Tutorial", Simon Peyton Jones' "Tackling the Awkward Squad",
> and "Haskell: The Craft of Functio
I've started learning Haskell, and I'm going through all the tutorial
material I can find - there's a lot of good stuff available.
One thing I haven't found a really good discussion of, is practical
examples of building monads. There's plenty of discussion of the IO
monad, and the state monad, and
