[mercury-users] Higher order programming

[Lee Naish]

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

If you fix the mode a HO function call may have different determinisms
for different calls: if all its functional args are det then its det; if
any are semidet then its semidet.

Uniqueness is rather more tricky, but the solution is to put
uniqueness information into/on top of a *polymorphic* mode system
which also works for higher order.  I just have to work out a couple of
details... :-)

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