Rust vs. Ada

regentag · 2024-10-20T10:29:14+09:00

Redditの r/ada で見つけた、Rust と Ada の比較コメントです。どちらの言語にも、__Cではない__ことによる利点があります。C の文法上の foot guns（プログラマーが自分の足を撃ってしまうような機能）や、未定義動作などです。どちらの言語も memory safety をサポートしています。配列境界は実行時に検査され、有効なポインタを確認する規則などがあります。Ada の検査はやや単純で、あらゆるものを迂回できる Unchecked_Access があります。Rust の borrow checker はより精巧ですが、迂回が必要な状況でも回避しにくいです。 Rust は動的割り当てを受け入れています。Ada でも可能ではありますが、不自然で使いづらいです。Ada 言語がこれを望んでいないのは明らかです。Ada は、ヒープ割り当てが安全性の問題になり、メモリの断片化を懸念し、メモリ枯渇が起きないことを証明しなければならなかった時代に由来しています。Rust はヒープを自由に使うことを推奨しており、動的割り当てが必要なら Rust のほうが明らかに安全です。Ada での解放は dangling pointer を残しうるため、安全でない操作です。 Rust は thread safety で優位です。borrow checker は race condition を最初から防ぎます。 Ada は value safety で優位です。Constrained subtype は正しいコードを書くための優れた道具であり、配列検査のような Ada の他の機能の基礎になります。 Ada は SPARK を使うことで formal proof の分野で優位です。Rust ではこのようなものは見当たりませんでした。高水準の安全性が必須であれば、SPARK は最適なツールです。

(reddit.com)

11 ポイント投稿者 regentag 2024-10-20 | 2件のコメント | WhatsAppで共有

Redditの r/ada で見つけた、Rust と Ada の比較コメントです。

どちらの言語にも、__Cではない__ことによる利点があります。C の文法上の foot guns（プログラマーが自分の足を撃ってしまうような機能）や、未定義動作などです。
どちらの言語も memory safety をサポートしています。配列境界は実行時に検査され、有効なポインタを確認する規則などがあります。Ada の検査はやや単純で、あらゆるものを迂回できる Unchecked_Access があります。Rust の borrow checker はより精巧ですが、迂回が必要な状況でも回避しにくいです。
Rust は動的割り当てを受け入れています。Ada でも可能ではありますが、不自然で使いづらいです。Ada 言語がこれを望んでいないのは明らかです。Ada は、ヒープ割り当てが安全性の問題になり、メモリの断片化を懸念し、メモリ枯渇が起きないことを証明しなければならなかった時代に由来しています。Rust はヒープを自由に使うことを推奨しており、動的割り当てが必要なら Rust のほうが明らかに安全です。Ada での解放は dangling pointer を残しうるため、安全でない操作です。
Rust は thread safety で優位です。borrow checker は race condition を最初から防ぎます。
Ada は value safety で優位です。Constrained subtype は正しいコードを書くための優れた道具であり、配列検査のような Ada の他の機能の基礎になります。
Ada は SPARK を使うことで formal proof の分野で優位です。Rust ではこのようなものは見当たりませんでした。高水準の安全性が必須であれば、SPARK は最適なツールです。

2件のコメント

regentag 2024-10-20

スマホで書いていたので誤字がありましたね（泣）

memory sadety -> memory safety です。

jwh926 2024-10-22

burrow checker -> borrow checker
thread safery -> thread safety
:D

Rust vs. Ada

関連記事

2件のコメント