[m-dev.] Existentially quantified data constructors

Ralph Becket rafe at csse.unimelb.edu.au
Tue Apr 15 17:54:28 AEST 2008


Julien Fischer, Tuesday, 15 April 2008:
> 
> Explaining that is beyond the scope of the reference manual.  It is
> intended to say what the language is.  It is _not_ intended to try
> and rationalise various design decisions.  (It's no different in, for
> example the C standard - although admittedly in that case there is
> a separate Rationale document that attempts to explains some of the
> thinking behind it.)

I do appreciate that.  On the other hand, this comes up time and time
again.  We need some kind of concise explanatory document.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the developers mailing list