[mercury-users] Uniqueness modes etc

[Ralph Becket]

The good thing about uniqueness is that it is easy to understand and, as
you observe, gives a sufficiently smart compiler the option of
performing destructive update without sacrificing declarative purity.

Monadic style is more general, but on the whole seems way too abstract
for many (most?) programmers.

So far we haven't really missed monads...

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