[mercury-users] New to mercury: structure reuse and efficiency

[Ralph Becket]

Maurizio Colucci, Friday,  9 July 2004:
> 
> I confess I am _dying_ to know what these determinism-related problems are. 
> You also mention the existence of such problems in the tutorial, but I 
> couldn't find any document which explains what they are...

Well, you can't do IO in non-deterministic code, for example.

> > If your code is largely deterministic, use term.m.  If 
> > your code is not, "Prolog types" may be a neater option.
> 
> Let me see if I get the difference: term.m requires you to bring along the 
> bindings of variables, whereas the prolog style term will make that implicit.
> Is that so?

Exactly so.

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