On 18/03/2025 17:30, Geoff Steckel wrote: > Long ago I helped write an ADA compiler & library. > "unchecked conversion" was needed far too often. > I've used newer ones in significant projects.
Unchecked conversion actually employs many checks especially if you use SPARK mode. The main thing is that size is always checked even in full Ada.
