[m-dev.] Mercury Tutorial Book

[Ralph Becket]

Michael Day, Sat  --2001  07:44:18 PM:
> > - should have a strong section on IO;
> 
> It needs to explain transformations such as DCGs in a way that makes
> sense... I still don't really understand what it means to have a list
> expression in a DCG predicate :|

DCGs were originally a parsing notation, which is where the list
stuff comes from.  It can be quite handy for writing nondet parsers.

I'm probably going to leave DCGs as just a shorthand for threading
the io__state until a later chapter.

Cheers,

Ralph
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------