Re: Why I like Ada

["Robert I. Eachus" <rieachus@comcast.net>]

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... ;-)

-- 

                                           Robert I. Eachus

"The terrorists rejoice in the killing of the innocent, and have 
promised similar violence against Americans, against all free peoples, 
and against any Muslims who reject their ideology of murder. Their 
barbarism cannot be appeased, and their hatred cannot be satisfied. 
There's only one way to deal with terror: We must confront the enemy and 
stay on the offensive until these killers are defeated." -- George W. Bush