[mercury-users] higher order syntax

Dominique de Waleffe ddw at miscrit.be
Fri Feb 11 22:38:46 AEDT 2000

> From: owner-mercury-users at cs.mu.OZ.AU
> [mailto:owner-mercury-users at cs.mu.OZ.AU]On Behalf Of Ralph Becket
> Sent: Friday, February 11, 2000 11:56 AM
> To: 'mercury-users at cs.mu.OZ.AU'
> Subject: RE: [mercury-users] higher order syntax

> I suspect that some/all appear very rarely in existing code; even
> the existential types stuff hasn't made huge inroads yet, as far
> as I can see.

Existential type are essential for the modelling of CORBA and COM components
into Mercury
(at least that's the approach taken both by MCorba and our own COM stuff).

I hope you're not suggesting to remove them...


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

More information about the users mailing list