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

[Nicholas Nethercote]

On Mon, 5 Jul 2004, 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.

Whoa, that little paragraph raises a whole lot of interesting questions, 
things like:

   What do the modes look like?
   What's the term representation used?
   How much of this is replicates what's in HAL?

etc.  It sounds like a major language extension.  Or not, depending on a 
multitude of things.  Do you have anything describing this in detail?

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