memo/20250828

複数の方のツイートを拝見しまして。

(1)3大やめとけネタ、で箇条書きの一つに「GC言語」ってやつと、
(2)「質問箱」システムの話題の流れだと思うけど、スクリプト言語が遅い、っていう論に対し
(スクリプト言語も速いよ)「うちらは言語のGCまで手を入れてました」みたいな話

改めて GCの思想ってダメじゃん。て。思ったことでした。

そもそも、あるプログラムをある言語で書く時に、ユーザーが使う全メモリの、確保や解放のスタイルが一つだけで済むという、その仮定が非現実的じゃないですか？

Cでは、独自のリンクリストを皆が実装してしまうところ、C++はSTLのlistやmapができて全人類が助かってるでしょ。同様にメモリのアロケータも、独自に作れるけど標準が欲しいのです。listやmapやらが数種類で数えられる程度しか無いように、メモリアロケーションも、[確保はポンポンとチャンクで行い、その中から細々と構造体毎に使って、解放は一気にドカン]みたいな、パターンがあって、たかだか数え上げられる程度しかないと思うんです。それ全部言語の基礎に用意してよ、って。

新しい言語の実装者は言語のシステムに万能のGCをただ一つ載せようとするのではなく、確保解放のたかだか数種類のパターンに対応するような、複数のアロケータを誰もが簡単に使える様にして欲しいんです。簡単に使えることで、プログラマの悩みを解消してほしい。
「考えなくてよい」は一番の悪手なんです。

【* 日々のメモ】