[m-dev.] EDCGs and Higher Order Programming

[Ralph Becket]

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