[mercury-users] Idea for a currying library

[Ralph Becket]

> From: Richard A. O'Keefe [mailto:ok at hermes.otago.ac.nz]
> 	
> It would be very nice if mode &c inference for 
> lambda-expressions were the
> default, even when everything else was explicit.

Absolutely.  Mind you, I've just spotted that purely
functional (func(in,...)=out is det) lambdas don't
need mode annotation - previously I was under the
impression that they did.

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