マイクロソフト、新たなプログラミング言語を開発中か

マイクロソフト、Rustベースのセキュアなプログラミング言語を探求中
https://japan.zdnet.com/article/35146475/

　「コンパートメント化を実現し、コードのレガシーな部分を切り分けられれば、（攻撃者の作った）エクスプロイトコードはそこから脱出できない。
こういったことを支援できる言語を設計するには何が必要なのだろうか」（Parkinson氏）

　これがProject Veronaだ。同氏は、このプロジェクトに関して公の場で発表するのは初めだと述べるとともに、
同プロジェクトを「間もなく」オープンソース化する予定だと述べた。これはMicrosoftが
「インフラ向けの安全なプログラミング」と呼んでいるものを目指す新たな言語となる。

　このプロジェクトはC＃プロジェクトのマネージャーであるMads Torgensen氏と、
ケンブリッジのMicrosoft ResearchのリサーチソフトウェアエンジニアであるJuliana Franco氏によって支援されている。