言語を自分で変える自由を取り戻そう

マクロ（および類似の言語機能）の主な問題は、あらゆるコードベースを独自のDSLに変えてしまうことだ。センス良く使えばコードは読みやすくなるが、新しく参加する人にとっては依然としてオーバーヘッドがある。生産的になる前に、そのDSLを学ぶ必要がある。

LLMはこのオーバーヘッドをあなたにとって見えにくくするかもしれないが、確かにそれはまだ存在するのではないか？私はむしろ、自分のトークンをもっと実際のタスクの解決に使いたい。カスタム構文を解読する（そして新しいコンテキストウィンドウごとに再学習する）よりも。

Rustは10年間、マクロの実用的な実験場だった。結果は出たと言っていいだろう。マクロは素晴らしく、ただより良いスタイルのマクロが必要だっただけだ。Cスタイルのマクロで`tokio::select!`のようなものを作って使うのは悲惨だが、Rustでは`tokio::select!`は使いやすく理解しやすい。

このような記事[不快な言葉]を誰かが思いつくのが嫌だ。中心的な前提が「[ソフトウェアエンジニアリングの制約]はもう問題ではない」というものだ…それはいつも、解決策が脳をオフにしてLLMに尋ねることだからだ。まるで「コンピュータが速くなりメモリが安くなったから、[不快な言葉]なソフトウェアを書ける」に似ているが、今回は「適切なコードアーキテクチャはどうせ読まないから問題にならない」だ。

なんてこった！証拠はないが、LLMでさえ理解し説明できる最悪で最も歪んだコードには上限があると確信している。エンジニアリングの制約が解決されたから「それは[LLMプロバイダー]の問題だ」に移行するなんて、どれほど悲しいことか。コンテキストの量は有限で、そこから抽出できるシグナルも有限で、推論の信頼性も有限だ。クソチャットボットに十分奇妙な怪物を与えれば、最終的にモデルの説明は信頼できるプログラムのモデルではなく、ますますもっともらしい再構成になる。これが、このクソ馬鹿どもがぶち当たろうとしている壁だ…借金を重ね、人間の理解とは正反対の方向にアーキテクチャを押し進め、せいぜい中立な外部エンティティが（実質）無料であなたの仕事を続けてくれることに頼っている！そしてクレイジーなのは、私がAI嫌いから最も遠い存在で、23歳のジュニアプログラマーだということだ。それなのに、両側でこの感情がばかげている…

少し嫌な奴になるリスクを承知で言うと、今読む技術意見記事のほとんどは「昔は難しかったが、LLMが我々より速く理解できるからもう難しくない、だから基本を無視/変更してもいい」に帰結するように思える。

最初に聞いた時も説得力があるとは思わなかったし、今も思わない。

とはいえ、マクロに関しては、恐れは概して誇張されすぎているという意見には同意する。Clojureで恐ろしくひどいマクロの寄せ集めを見たことがあるが、それは一般的には外れ値のケースだ。core.asyncのようなものはマクロを極限まで悪用しているが、それでも言語の可読性と理解を高めることが非常に多いと思う。