オープンソースのプログラミング言語「Rust」を開発するRustプロジェクトは2023年1月20日(米国時間)、2022年5月末に設立された「型チーム」(types team)のこれまでの活動と今後の計画を紹介した。 Rustプロジェクトは「Rustはユーザーベースや人気が拡大し、成長している。それとともに、この言語をサポートする持続可能な型システムの必要性がますます明白になってきた。Rustプロジェクトはこのニーズに対応するために、新しい型チームを発足した」と説明している。 Rustプロジェクトによると、型チェッカー(変数に型を割り当てる方法のセマンティクスと実装を緩やかに定義)、トレイト解決(どの型にどのトレイトを定義するかを決定)、ボローチェック(Rustの所有権モデルが常に成立することを証明)は、いずれも「型システム」として考えることができ、型チームがこれらを担当している。 トレイ