[m-rev.] for review 1/2: Prose changes to about page.

[Paul Bone]

On Thu, May 02, 2013 at 03:09:13AM +1000, Zoltan Somogyi wrote:
> On 30-Apr-2013, Paul Bone <paul at bone.id.au> wrote:
> > --- a/include/about.inc
> > +++ b/include/about.inc
> > @@ -30,10 +30,11 @@ The main features of Mercury are:
> >  	backtracking will not be needed.
> >  	</p>
> >  	<p>
> > -	Mercury handles dynamic data structures not through Prolog's
> > -	assert/retract but by providing several abstract data types in
> > -	the standard Mercury library that manage collections of items
> > -	with different operations and tradeoffs.
> > +    Mercury handles dynamic data structures not through Prolog's by
> 
> Words are missing before "by".
> 
> > @@ -42,10 +43,11 @@ The main features of Mercury are:
> >  	Mercury is a strongly typed language.
> >  	</h3>
> >  	<p>
> > -	Mercury's type system is based on many-sorted logic with parametric polymorphism, very
> > -	similar to the type systems of modern functional languages such
> > -	as ML and Haskell. Programmers must declare the types they need
> > -	using declarations such as
> > +    Mercury's type system supports discriminated unions with parametric
> > +    polymorphism, it is both strong and static.
> 
> I suggest:
> 
> Mercury has a strong, static type system that supports discriminated unions
> and parametric polymorphism.
> 

I like this suggestion, it moves some of the important details (for the
intended audiance) to the front of the sentance.


-- 
Paul Bone
http://www.bone.id.au