[mercury-users] language features

[Michael Day]

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?

Michael

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