[mercury-users] Higher order programming

[Simon Taylor]

Lee Naish wrote:
> If + also had the nondet mode computing A and B from C (reasonable if
> they are known to be natural numbers) you could use the syntax above for
> a nondeterministic computation also.  Is this a good idea?  It adds more
> "power"/flexibility, but I would argue its *not* a good idea. Similarly,
> multi-moded functions are not a good idea.

Multi-moded functions do make sense where the modes differ only in
uniqueness, or in the determinism of a higher-order argument.

Simon.

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------