静的型付けと動的型付けの融合：フロータイピング
Pranoy Dutta氏が最初に挙げているのは、Crystal言語で知られる「フロータイピング」です。これは、変数の型がそのライフサイクルの中で変化する可能性を許容しつつ、コンパイル時に型安全性を確保するという画期的なアイデアです。通常、静的型付け言語では一度型を宣言すると、その型しか受け入れられませんが、フロータイピングではコードの実行フローに応じて型が推論され、変化します。
例えば、ある変数が最初は Int32 型であり、特定の条件分岐の中で String 型に再代入された場合、その後のコードではその変数が Int32 | String （Int32またはStringのユニオン型）として扱われます。これにより、コンパイラは実行時に起こりうる型のパターンを事前に把握し、不適切な操作を検知できるようになります。（出典
フロータイピングは、コンパイル言語に動的な柔軟性をもたらしつつ、実行時パフォーマンスの犠牲を最小限に抑える優れたアプローチです。
TypeScriptにもこのフロータイピングと型ナローイングの概念が存在しており、普段TypeScriptを書いているエンジニアの方には馴染み深いかもしれません。静的型付けの恩恵を受けつつも、動的型付け言語のような書き味を保てるのは、開発体験を大きく向上させると感じます。私のPythonのスクリプトにも、もっと厳密な型チェックを入れたいと常々思っているので、このような進化はとても魅力的です。
メモリ安全性をコンパイル時に保証する「借用チェッカー」
次に紹介されているのは、Rust言語の中核をなす「借用チェッカー」です。Rustはガベージコレクタなしでメモリ安全性を保証するシステムプログラミング言語であり、その秘密がこの借用チェッカーにあります。
並行処理におけるデータ競合は、メモリ安全性のバグの大きな原因となりますが、借用チェッカーはこれをコンパイル時に静的に防ぎます。（出典
借用チェッカーは主に以下のルールを強制します。
- 借用は所有者のスコープを超えて存続してはならない。
- 以下のいずれかの条件を満たす参照のみが許される:
- 正確に1つのミュータブルな参照（
&mut T） - または、1つ以上のイミュータブルな参照（
&T）
このルールは、多数の読み込みを許可するか、単一の書き込みを許可する「リーダー・ライターロック」の概念に似ています。これにより、書き込みアクセスが同時に複数発生することを防ぎ、データ競合を回避します。
借用チェッカーはコンパイル時のチェックと複雑さの増加というコストを伴いますが、並行プログラムにおいては避けられない複雑さであり、ゼロコスト抽象化の好例と言えるでしょう。（出典
Rustの借用チェッカーは、データ競合という難しい問題に対するエレガントな解決策であり、実行時にオーバーヘッドなしでメモリ安全性を実現します。
個人的には、マルチスレッドプログラミングのデバッグ経験から、データ競合の特定と修正がいかに骨の折れる作業であるかを知っています。それをコンパイル時に未然に防いでくれる借用チェッカーは、まさに「神機能」だと感じます。GCPのCloud RunでGo言語を使うこともありますが、Goの並行処理も強力な一方で、Rustのようなコンパイル時チェックがあれば、さらに安心感が増すのではないでしょうか。
より堅牢なソフトウェア開発へ導く「契約プログラミング」
3つ目のアイデアは、D言語がサポートする「契約プログラミング」です。これは、関数の事前条件（pre-conditions）、事後条件（post-conditions）、そして不変条件（invariants）を明示的にコードに記述することで、プログラムの正しさを保証しようとする手法です。
D言語には標準の assert 文がありますが、これに加えて意味合いを区別するための enforce も提供しています。assert はプログラムのバグ、つまり「不変条件の違反」を検出するために使われます。一方 enforce は、ユーザー入力の範囲外や環境の問題など、外部要因による例外をスローするために使用されます。
これにより、内部的なバグと外部的な問題によって発生するエラーを明確に区別できます。（出典
例えば、関数の引数に対する期待値（事前条件）や、関数実行後に保証されるべき結果（事後条件）を明示的に記述することで、コードの意図が明確になり、バグの早期発見につながります。これはソフトウェアの品質を向上させる上で非常に有効な手段だと考えられます。
契約プログラミングは、コードの意図を明確にし、関数やオブジェクトの振る舞いを保証することで、より堅牢なソフトウェア開発を可能にします。
このような機能がTypeScriptにも導入されれば、より大規模なコードベースでの型安全性が高まり、開発者間のコミュニケーションコストも削減できるのではないかと期待してしまいます。D言語はあまり触る機会がないのですが、この「契約プログラミング」の概念は、様々な言語で採用されてほしい「Good Idea」だと強く感じました。
