Dimensional analysis is in instance of type signature checking, as fully understood. Unfortunately very few type systems for existing programming languages support the type transformations necessary to implement it directly.
Dimensional analysis is in instance of type signature checking, as fully understood. Unfortunately very few type systems for existing programming languages support the type transformations necessary to implement it directly.