GNATは30年も前からあるんだ。GPLランタイム例外なしでリリースされたバージョンがあったから、リンクするにはプログラムもGPLでリリースしなきゃいけなかったんだけど、それはもうずいぶん前の話だよ。

GNATは90年代からあって、GCCをベースにしてる。私の大学ではコンパイラに関する作業をして、リアルタイムプログラミングのような学部の授業で使ってた。確か、プログラミング入門の授業でAdaを使おうとした試みもあったけど、結局Pascalを選んで、最終的にはC++になったと思う。

範囲が制限された数値型を作れるのは、特定のバグのクラスにはすごく役立つんだ。そうだよね！RustにAdaの数値範囲機能があったら最高だな！

範囲が制限された数値型を作れる能力は、特定のバグのクラスにとって本当に役立つよ。これはC++でよく使う機能なんだ。標準ライブラリの一部ではないけど、現代のC++では範囲制限された数値型をプログラムで生成するのは簡単だよ。いくつかの安全チェックは実行時ではなくコンパイル時に行えることもあるし、プログラミング言語の標準機能にすべきだと思う。

30年以上前にAdaでプログラミングしてたけど、今も同じ気持ちで、何度も失望してきた。今回は違うかもしれないね。

NimはAdaとModulaにインスパイアされていて、サブレンジもあるんだ。[1]: type Age = range[0..200] let ageWorks = 200.Age let ageFails = 201.Age で、コンパイル時にエラーが出るよ: $ nim c main.nim エラー: 201はAgeに変換できません [1] https://nim-lang.org/docs/tut1.html#advanced-types-subranges

Adaには本当に良いアイデアがたくさんあるのに、安全性が重要なコミュニティ以外ではあまり使われなかったのが残念だね。範囲が制限された数値型を作れるのは、特定のバグのクラスにはすごく役立つ。pjmlpが別のコメントで言ってるように、Pascalはこの機能を最初から持ってたはずだし、初期のバージョンからあったと思うよ。最初のTurbo Pascalのバージョンよりも前にね。

Ada、少なくともGNATは、コンパイル時の次元解析（単位チェック）もサポートしてるよ。私はエンジニアリングアプリケーションを主に扱ってるから偏見があるかもしれないけど、他の言語ではなぜそれがサードパーティのライブラリに委ねられているのか理解できないな。 https://docs.adacore.com/gnat_ugn-docs/html/gnat_ugn/gnat_ug...

C#はAdaやRustと同じ領域では競争していないけど、似たような範囲属性があるよ。ただ、唯一の欠点は、ASP.NETのように特定のタイミングで自動的に行わない限り、手動で検証関数を呼び出さなきゃいけないことだね。

個人的な経験から言うと、安全性だけじゃなくて、生成されるものの信頼性も大事な要素だよ。型システムで制約を表現できると、より高品質なコードが生まれるんだ。RustとGolangの経験からの簡単な例としては、ミューテックスの扱いがあるね。Rustはガードハンドルを漏らさせないけど、Golangはデッドロックに突っ込むことを許しちゃう。