開発された種類のメソッドの使いやすさ: Rust as a Case Peek

要約: さまざまな正確さと安全性の保証は、リニアおよびポゼッションの種類と同様に、プログラミング言語のレビュー界隈での長い歴史を含んでいます。 この歴史的な以前のトピックではありません。これらのフォーム システムとその使いやすさの人間中心の概要は、かつてはほとんど存在しませんでした。実証的な評価は、コンサルタント (フォーム ガジェットの作成者) によって作成されたアプリケーションでの表現力のテストに限定されていました。
ここ数年で、これは通常の Rust プログラミング言語でのアフィン種類と所有のモデルの採用と入れ替わり始めました。 Rust の評判が高まるにつれて、Rust の Possession と Lifetime の提案のユーザビリティを経験的に評価し始めたさまざまなレポートが含まれており、そのようなフォーム システムのユーザビリティに関する幅広い定性的および定量的データが提供されています。 彼らは、Rust の全体的な成功が安全性と効率性の約束を達成しているにもかかわらず、これらの提案は急な発見曲線を伴い、Rust を採用するための障壁として何度も何度も引用されていることを学びました。
この表現では、Rust のフォーム ガジェットに一瞬で感銘を受けた、直線的な種類と問題ベースの完全なメモリ管理の一時的な歴史的過去を提示します。 それから、Rust の Possession と Lifetime の提案を紹介し、チュートリアル レビューでその芸術作品の使いやすさをオリジナルにします。 これらの提案を教えて教育するのが複雑である理由について、理論的議論と経験的証拠の両方を議論し、これらの困難の量に対処する既存の研究にクイズを出します。 また、HCI および CS 教育コミュニティでの幅広い作業から、このホームでの将来の作業について助言することも計画しています。