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

単位ミスが招く重大事故 「マーズ・クライメイト・オービター」をご存知でしょうか。火星の気象調査をミッションとして、NASAが1998年に打ち上げた探査機です。1億2500万ドルを費やして作られたこの探査機は、本務に就く前に火星周回軌道内で炎上、そのまま消息を絶ちました。原因はヤード・ポンド法単位とメートル法単位の取り違え。 かの有名な「もう助からないゾ♡」の事故もやはり単位変換ミスが発端でした。人類史上において、不適切な単位の取り扱いが悲惨な事故に繋がる例は枚挙にいとまがありません。 プログラミングにおいても同じです。接頭辞の変換を忘れたり、numpyの三角関数にradianではなくdegreeで角度を与えて時間を溶かした人は私だけではないでしょう1。もっと安全・便利に数値を扱えるように人類をサポートする仕組みが必要です。 ......そんな感じの問題意識から生まれたプログラミング言語、そ

[machine2drl]

目から鱗だわ。むしろ現行のメジャー言語で単位持ててないのおかしい気がしてきた。

[myr]

なるほど。。単位変換で誤差出ないのかなとか思ったけど、出ないようになんとかしてるんだろうな

[barrackdo]

電卓探してて https://qiita.com/items/b0484cb29c21c53f92bf で紹介のInsectが気になり見に行ったら後継が数時間前に読んだこの記事で知ったNumbatだった。縁を感じたのでプログラミング言語でなく電卓として使ってみる。

[misshiki]

“科学技術計算を安全かつ効率的に行うことを目的する静的型付け言語。物理次元（長さ、時間、質量など）をファーストクラスの型として扱うことで、単位の不適切な取扱いを型エラーとして検出できます。”

[zinziroge]

Fusion360で単位ありのパラメーターを定義してそれを使った計算をするときに単位系が合わないと不正値として設定できなかったりする

[aiya000]

枯れてないからまだ実用は難しいけど、とてもいいね！ HaskellのSuffixOperatorでも同じことができそう？ TypeScriptのBrandedは異なる型ごとの演算が（同じ演算子では）無理だからなあ。C++のDurationは同じことできてた気がする！

[iinalabkojocho]

今までコンピュータの頭脳に人間が合わせてた感は有る。NumbatはついNyanbatとミススペルしたくなる（ごめん）

[ikajigoku]

おもしろい