物理次元型を持つ静的型付け言語「Numbat」の紹介 - Qiita

単位ミスが招く重大事故 「マーズ・クライメイト・オービター」をご存知でしょうか。火星の気象調査をミッションとして、NASAが1998年に打ち上げた探査機です。1億2500万ドルを費やして作られたこの探査機は、本務に就く前に火星周回軌道内で炎上、そのまま消息を絶ちました。...