低水準プログラミング言語の高くつく虚構
低水準プログラミング言語（主にC/C++）が「効率的」「ハードウェアに近い」とされる神話を批判的に検証。実際にはメモリ安全性の欠如や複雑な仕様が、バグやセキュリティ脆弱性、開発コストの増大を招いていると論じる。Rustなど現代的な代替言語の台頭にも触れ、従来の低水準言語が持つ「高効率」という楽観的な前提が、結果的に高額なコストを生んでいる実態を明らかにする。
背景メモ
- 低水準（low-level）プログラミング言語とは、C言語やRust、アセンブリ言語のように、メモリ管理やハードウェア制御をプログラマが直接扱う言語を指す。対照的にPythonやJavaScriptは高水準言語と呼ばれ、こうした処理をランタイムに任せられる。
- 記事の著者は、低水準言語には「安全性」「効率性」「移植性」といった神話（fictions）がまとわりついており、実際にはそれらはしばしば幻想であり、バグや脆弱性、開発コストの原因になっていると論じる。
- 特にC／C++は、メモリ破壊やバッファオーバーフローといった深刻なセキュリティ欠陥を生みやすいことで知られ、米国政府やNSAが公式に「メモリ安全でない言語」として非推奨を打ち出す事態になっている。
- Rustはこの問題への解決策として登場し、コンパイル時にメモリ安全性を保証する設計で注目を集めているが、記事はRustにも独自の過剰な信念（費用のかかるフィクション）が存在すると指摘する。
- この議論の背景には、ソフトウェア開発のコストと安全性のトレードオフ、そして「低水準言語こそ本物のプログラミング」というエンジニア文化への批判がある。