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

[Maurizio Colucci]

On Monday 05 July 2004 01:49, Ralph Becket wrote:
> The intention is that the user will be able to write something like
>
> :- prolog type foo ---> bar ; baz(foo) ; quux(foo, foo).
>
> where unification of foo values will work just the way you'd expect them
> to if you were writing Prolog.  This way the performance costs
> associated with "prolog" types are confined purely to those parts of
> your program that use them.

Will this make the "term" type (in the mercury library) obsolete? Should I 
still "invest" in it? (I am asking because find a bit difficult to understand 
the usage of "term")

Sorry for the bombing :-)

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