Re: ANN: Ada 2005 Math Extensions, 20100810 release

[Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>]

On 8/14/10 9:18 PM, Simon Wright wrote:
> Jeffrey Carter<spam.jrcarter.not@spam.not.acm.org>  writes:
>
>> On 08/14/2010 10:16 AM, Dmitry A. Kazakov wrote:
>>>
>>> Only after you wrote it I became aware that this is a grammar issue. "may I
>>> end a sentence with a preposition" gives 2,580,000 results in Google.
>>> People are running polls. Wow!
>>
>> As someone once said on the subject, "That is something up with which
>> I will not put."
>>
>> Ending a sentence with a preposition, along with split infinitives and
>> double negatives, are things that were quite common and acceptable
>> before the 19th century. In the 19th C logicians came up with these
>> rules that were contrary to common usage, and they were adopted by
>> like-thinkers, but the real rule is that they are perfectly natural
>> usage.
>
> Quite. But Foo_Of is *not* natural!

Being east of GMT, too, I believe I understand Dmitry's intent.
I'd replace the "inverted possessive construct with implicit whole"
with one of your suggestions, e.g., and feel a lot better,
even though my native language isn't English.

generic
    type Fur is private;
package Mechanical_Dog is
    --subtype Fur_Of is Fur; -- eastern pidgin?
    subtype Its_Fur is Fur;
    subtype Dogs_Fur is Fur;
    subtypeFormal_Fur is Fur;
    subtype Actual_Fur is Fur;
    subtype Fur_Type is Fur;
    subtype Generic_Fur is Fur;


Georg