Haskellは「人間がループに入る」言語だ——Haskell Foundationが技術ビジョンを発表

S. P. Jonesの「Haskellは役に立たない」という有名なメモ動画がある。私はHaskellが大好きだが、C、C++、JavaScript、Rust、C#のように普遍的な言語であってほしかった。つまり、デスクトップ、モバイル、ウェブのアプリを作るのに使えるということだ。JavaScriptはウェブ全体を動かしたり、node上で誰もがCLIを作ってコードをウェブと共有したり、React Nativeでモバイル、Electronなどでデスクトップ、さらに数え切れないほどのプラグイン、GNOME Shell用のものまで書ける。CとC++はおそらく世界のすべての背後にあり、ひも理論がついに観測されたらそれがCで書かれていることがわかるだろう。そしてそれらはウェブやほとんどすべてのものにコンパイルできる。Rustはその二つのプレースホルダーであり、C#はMonoを見て自身を再発明し、今ではブラウザでも動く。Haskellを見るたびに、CLIアプリを作る以外に何ができるだろうと考え、より多くのコード再利用と面白いアプリケーションが得られる別のものを選んでしまう。

もしHaskellのビジョンを持てるなら、それは「役に立つこと」だった。学術研究やコンパイラ作成はクールだし、いくつかのCLIツールもクールだ。しかし、なぜ音楽プレーヤーやゲームエンジン、Flutter、ウェブページをそれで作れないのか？この言語はそこら中のJS/Cライクな言語よりもずっとエレガントで美しいのに、自分がやっていることに使えたらと本当に思う。ウェブ用のServant/Yesod/IHP/Miso/Reflex、GTK/M[…]は知っている。

hasufellはHaskell界隈で素晴らしい人物だ。物事について非常に明晰な考えを持っている。

それに、今コンピュータの助けを借りてHaskellで作れるものは壮大だ。今週の初めに、あらゆる軸で最高のSTEPファイルフォーマットのリーダー/ライターの一つ（もしかしたら最高かも）を立ち上げたと思う。いくつかのCのものは、試せる最大のCADアセンブリで20〜30パーセント速いだけだ。

人々が見落としがちな重要な軸：LLMがコーディングを改善するためにスケールアップされる主な方法は、計量的なメガトン級の強化学習トレースであり、凝った型チェックはより安価で高速なトレーニングフィードバックループを与える。

LLMをちょっとした狂気のマニックなインターンとして肩越しに見ているようなもので、自分では見えるが同じスケールではとてもタイプできないAPIや設計を構築できる。しかし、正確な設計の要石をかなりコンパクトに指定でき、エージェントはコンパイラのように動作し、私は修正して反復実行する。

Rustのような競合に比べて十分な付加価値がない。代わりに、自律的な形式検証など、コーディングエージェントとのより重要な相乗効果が注目されている。Leanのような言語はまったく新しいエンジニアリングのカテゴリを可能にするが、Haskellにはそれができない。だからHaskellは難しい中間に閉じ込められている。違いすぎてその利得に対して正当化できず、かといって新たな機会を捉えるほど十分に違うわけでもない。

コンパイル時間が大きな問題であることは同意するが、本当に焦点を当てるべきはインクリメンタルビルドだと思う。Haskellコンパイラがどれだけの作業をしなければならないかを考えれば、フルビルドがかなり遅いのは当然だ。

しかしインクリメンタルビルドが遅い理由はない。スコープが関数や型のレベルまで細かく定義されていれば。