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/Perfor...

https://blog.adacore.com/uploads/dc.pdf