[mercury-users] language features

Peter Ross petdr at cs.mu.OZ.AU
Fri Nov 12 20:56:26 AEDT 1999


On 12-Nov-1999, Michael Day <mikeday at corplink.com.au> wrote:
> 
> Hi,
> 
> It seems that for it to be worthwhile to rewrite the standard library,
> people are waiting on various language features to make it in, such as
> 
>  - constructor classes, possibly changes to instance declarations
>  - further determinism analysis (declaring [] and [_|_] to be exclusive?)
>  - further mode analysis (parametric modes? polymorphic modes? eh?)
>  - promises, checked and unchecked. (admissability also?)
> 
> and no doubt many others I'm unaware of. Are these something that will
> straggle in after the release of 1.0, or longer term research goals that
> would justify a 2.0 release significantly further down the track? Does
> Mercury have a road map?
> 
AFAIK, we will release Mercury 1.0 when we have the following two
unimplemented features

    * compile time garbage collection (structure reuse)
    * aliasing (which allows partially instantiated data structres and
      nested unqiue modes)

both of which are being worked on currently.  However when they will be
ready is just a matter of speculation.

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