[m-dev.] Fw: Replacement syntax for DCGs

[Peter Ross]

I proposed a similar idea, just different syntax about a year ago.  I
like it because it makes it clear what state the call is operating on.

http://www.mercury.cs.mu.oz.au/mailing-lists/mercury-developers/mercury-developers.0011/0422.html

These are some of the points that you need to consider.

How to you declare the predicate/function which uses this threading?

What about it you want it to have multiple modes?

What about it you want to using this syntax on higher order.  What are
the implications of that?

I would be nice to generalise this to the case of having more than one
pair of state arguments threaded.  How would you declare that?

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