「Units of Measureならパフォーマンス上も問題ないよ」だけど、たぶんだけどAdaのコンパイラも静的にチェックすれば済む部分は都合のいい数値型に変換しちゃってパフォーマンスへの影響を抑えるってしてるだろうし、結局同じ事をしてるような気がしなくもない・・・＞＜