Mathに関するaiya000のブックマーク (1)

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

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

    物理次元型を持つ静的型付け言語「Numbat」の紹介 - Qiita
    aiya000
    aiya000 2025/05/19
    枯れてないからまだ実用は難しいけど、とてもいいね! HaskellのSuffixOperatorでも同じことができそう? TypeScriptのBrandedは異なる型ごとの演算が(同じ演算子では)無理だからなあ。C++のDurationは同じことできてた気がする!
  • 1