[mercury-users] partially instantiated data structures

[Don Smith]

> When would you use partially instantiated data structures (if you
> could) in Mercury? Given that you can't alias free variables, I'm
> interested to know how you would like to use them. Do you have
> specific uses in mind?

I'd use them in DCGs, so that I could incrementally construct a partial
semantic representation or parse tree.  But I suspect that the strong
moding would limit the usefulness of partially instantiated modes (PIMs?),
because the PIM would have to be static.

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