書籍

Dream: Engineering the Last Programming Language

形式検証、自動並列化、コンテンツアドレッサブルコード、AIネイティブ設計。Dreamはそのすべてを、たったひとつの言語に凝縮する。

この2年、プログラミング言語研究の進歩は過去10年を凌駕した。依存型の実用化、エフェクトシステムの自動化、検証付きコンパイル、AIによるコードの書き方そのものの変革。その全貌を追えているエンジニアは、最前線にいる者でさえ、ほとんどいない。本書はあらゆる言語の最良のアイデアとCS研究の最新成果を集め、ひとつの問いに挑む。いま、ゼロから言語を設計するなら、それはどんな姿をしているのか。決定版ではなく、道筋。次の時代を見据えた、骨太な探求の書。