[m-dev.] EDCGs and Higher Order Programming

Ralph Becket rbeck at microsoft.com
Wed Jan 26 23:01:57 AEDT 2000


I'm slightly uneasy about how well EDCGs, which
it seems are going to be part of the Mercury
world, will mesh with higher order programming,
especially in the light of the discussion about
disallowing expanded (i.e. non-EDCG) calls to
EDCG predicates.

Can someone reassure me about this one?  For
example, say I want to do something like
the following:

write_strings(Strs) -->
	list__foldl(io__write_string, Strs).

What would happen in the EDCG version of the
world?

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
--------------------------------------------------------------------------



More information about the developers mailing list