単位計算のルールを型システムにエンコードできれば、コンパイル時にすべての単位エラーを検出できるはずです。

3:00 AM

単位系じゃないけど、アポロがジンバルロックで事故りかけたみたいな話もあった気が。