Ada’s type system also allows compile-time checking of units like physical dimensions: https://gcc.gnu.org/onlinedocs/gcc-4.9.4/gnat_ugn_unw/Performing-Dimensi

Ada’s type system also allows compile-time checking of units like physical dimensions: https://gcc.gnu.org/onlinedocs/gcc-4.9.4/gnat_ugn_unw/Performing-Dimensionality-Analysis-in-GNAT.html https://gcc.gnu.org/onlinedocs/gcc-4.9.4/gnat_ugn_unw/Perfor... https://blog.adacore.com/uploads/dc.pdf https://blog.adacore.com/uploads/dc.pdf