MicrosoftはRustをベースにした新しいプログラミング言語を開発中

ヴェローナのパイロット プロジェクトの一環としての Microsoft 発展する Rust 言語をベースにした新しいプログラミング言語で、典型的なセキュリティ問題の影響を受けない安全なアプリケーションの開発に重点を置いています。 プロジェクトに関連する現在の開発のソーステキストは、近い将来に計画されています 開く Apache 2.0 に基づいてライセンスされています。

検討されています C および C++ 言語の使用時に発生する潜在的な問題をブロックするために、低レベルの Windows コンポーネントを処理するなど、開発中の言語を使用する機能。 コードの安全性は自動メモリ管理によって強化され、開発者がポインタを操作する必要がなくなり、フリー後のアクセス、null ポインタの逆参照、バッファ オーバーランなどの低レベルのメモリ操作から生じる問題から保護されます。

Verona と Rust の主な違いはモデルの使用です。 所有物 ではなくオブジェクトのグループに基づいて 単一のオブジェクト。 Verona のデータは、オブジェクトのコレクションである構造として扱われます。 借用チェックと所有権チェックはオブジェクトのグループに関連して実行されます。これにより、複合構造を操作する際の安全性が確保され、開発で通常使用される抽象化のレベルがより適切に反映されます。

出所： オープンネット.ru