[mercury-users] partially instantiated data structures

[Thomas Conway]

On Fri, Jul 16, 1999 at 01:11:22PM EST, Don Smith wrote:
> > 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.

Exactly. See my other post.

-- 
 Thomas Conway )O+     Every sword has two edges.
     Mercurian            <conway at cs.mu.oz.au>
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------