Re: Why I like Ada

[Peter Amey <peter.amey@praxis-cs.co.uk>]

Robert I. Eachus wrote:
> Bj�rn Persson wrote:
> 
>> Preben Randhol wrote:
>>
>>>   Ada
>>>     After correctly packing your foot, you attempt to concurrently load
>>>     the gun, pull the trigger, scream, and shoot yourself in the foot.
>>>     When you try, however, you discover you can't because your foot is
>>>     of the wrong type.
>>
>>
>>
>> You must of course use Unchecked_Conversion to be able to shoot 
>> yourself in the foot. :-)
> 
> 
> ...and the difficulty of the instantiation for Unchecked_Conversion 
> might give you a clue.  (The formal result type of Unchecked_Conversion 
> is Target.  So if you want to convert to a (local) type Target, you have 
> to use selected notation... ;-)
> 

What, as in: "My.Foot"?   Yes, that would concentrate the mind a bit.

Peter