46バイトのForthから122行のJまで、極小プログラムが「概念の最小サイズ」を証明する
Small Programs and Languages
ratfactorが、25行のDOM diffingライブラリ、46バイトのForth、122行のJインタプリタ、90KbのOSなど極小プログラムの魅力を語る。これらは単なる遊びではなく、レイトレーサーが名刺に収まるという事実を示すように、概念の最小複雑性を証明する意味を持つ。Forth、Lisp、Tcl、Luaの小さな言語にも触れ、David Ungarの「単純さは表現力に勝る」という言葉を引く。
システムが奇妙に振る舞って誰も理由を理解できないより、少し単純すぎて余分なものを書かねばならない方がはるかに良い。だから単純さは表現力に勝るのだ。