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

[Julien Fischer]

On Wed, 1 May 2013, Paul Bone wrote:

>>> -	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 don't think that's an improvement.
>>
>
> In my defense I know what it means now :-).

It's not that mysterious, wikipedia will even tell you what it is:
<http://en.wikipedia.org/wiki/Many-sorted_logic>.

(I assume that you know what parametric polymorphism is!)

> I'm hoping to find a description that means something to a wider group
> of users without sounding like greek.

That goes against the entire point of type theory! ;-)

Cheers,
Julien.