[mercury-users] existential type question

[Mark Brown]

On 01-Dec-2002, Michael Day <mikeday at yeslogic.com> wrote:
> 
> > Shouldn't that be
> >  	MaybeArg = 'new arg'(Arg).
> 
> Anyone still not think that the 'new functor' requirement is a blight on
> humanity? (Or at least Mercury).

Perhaps not in so many words, but it is a shame that construction and
deconstruction require different syntax.  The problem is discussed in
David Jeffery's PhD thesis [1], where he also proposes some alternative
solutions that may be better than the 'new functor' requirement.
Implementing one of those solutions is future work, however.

Cheers,
Mark.

[1] http://www.cs.mu.oz.au/research/mercury/information/papers.html#dgj-thesis-final

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