2025-05-30
「Rust」が10周年--エレベーター故障から始まったシステムプログラミング言語の歴史 - ZDNET Japan https://japan.zdnet.com/article/35233577/
きっかけを考えるとなんでAda/SPARKに所有権システムっぽい糖衣構文を追加する方向じゃ駄目だったのか謎＞＜
Rustってメモリ以外の面でも実行時エラーを執拗に排除する言語では無いんでしょ？＞＜
だとしたら結局エレベーターの制御プログラムみたいなのは実行時に停まるんでは？＞＜
フォロー
Geminiに聞いてみたら、意訳で言うと
「SPARKの糖衣構文程度じゃRustと同じことは実現できねーよ！ コンパイラに大きく手を入れる必要があるよ！
エレベーターの制御の場面でRustじゃ結局停まって、SPARKの方がより実行時に停まらない制御プログラムを作るのに向いてるのはその通りだよ？
でも、実行時のメモリ関連のエラーに限ればRustが有利という側面はあるし、エレベーターの制御みたいな場面でSPARKが有利でも、世の中のシステムプログラミングが全てエレベーターの制御のようなミッションクリティカルな条件ってわけでは無いんだよ」
的なありがたいお言葉をいただきました＞＜(？)
