On Tuesday, August 3, 2010 at 3:42, Frank Heckenbach wrote:
But while reading the above links, I also noticed that Ada is very strict about types etc.
Ada allows conversion between otherwise incompatible types with the generic function "Unchecked_Conversion", which is effectively a type cast. See:
http://www.adahome.com/Ammo/Cplpl2Ada.html#1.3.3
(The name "Unchecked_Conversion" is verbose -- intentionally so -- as it's intended to call the reader's attention to the circumvention of strict type- checking.)
-- Dave