[m-dev.] for review: update NEWS and WORK_IN_PROGRESS

[Fergus Henderson]

On 25-Oct-1999, Erwan Jahier <Erwan.Jahier at irisa.fr> wrote:
> 
> | +* The Mercury type system now supports existentially quantified types.
> | +
> | +  Existential types let you create heterogenous collections (e.g. lists
> | +  containing objects of different types).  In combination with type
> | +  classes, they allow you to write code in a style resembling that
> | +  often used in many object oriented programming languages.  
> 
> I can't parse that last sentence (but I can't tell whether it is due to my 
> poor English or to missing words...).

The former.  But the sentence is probably unnecessarily convoluted;
if you have trouble parsing it, then I'm sure many others will too.
Does the following change (s/that/the style/) help?

	In combination with type classes, they allow you to write code
	in a style resembling the style often used in many object oriented
	programming languages.

Or should I try a more drastic simplification?

	In combination with type classes, they allow you to write
	code in an OOP-like style.

I was trying to avoid acronyms, but I guess everyone who reads the
Mercury NEWS file will know what OOP stands for.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------