構文とパラダイムシフト Deep Dive
プログラミング言語の「構文（シンタックス）」そのものを主役に据えたシリーズ。字句・構文・意味の三層、BNF/PEGによる文法記述、中括弧・インデント・S式という構文族、命令型から関数型までパラダイムを体現する構文、糖衣構文とマクロ、Kuhnのパラダイムシフト論とBlub Paradox、関数型機能の収斂、そしてAI時代の構文の未来までを、一次情報と豊富なコード例・ビジュアルで全8章にわたって解剖する
目次
- 第1章 第1章: 構文とは何か — 字句・構文・意味の三層 字句解析・構文解析・意味解析の三層、トークンと識別子、具象構文木(CST)と抽象構文木(AST)の違い、「構文的に正しいが意味的に無意味」なコード、そして糖衣構文という言葉の語源(Landin 1964)→
- 第2章 第2章: 文法を記述する — BNF・EBNF・PEGと曖昧性 Backus & NaurによるBNFの発明(ALGOL 60)、WirthのEBNF、FordのPEG(2004)と順序付き選択、Chomsky階層と言語の位置づけ、そして悪名高いdangling else問題と曖昧性の解決→
- 第3章 第3章: 構文族の地図 — 式と文、中括弧・インデント・S式 C系/ALGOL系/インデント族/S式族/ML系という構文の系統、式指向と文指向の違い、「すべてが式」の意味、前置・中置・後置記法、オフサイドルールとセミコロン論争を同一プログラムの多言語対比で読み解く→
- 第4章 第4章: パラダイムを体現する構文 Floyd 1978が定着させた「パラダイム」概念、命令型・OOP・関数型・論理型・宣言型の本質と、それぞれを体現する構文。Alan Kayのメッセージング、パターンマッチと代数的データ型の関数型的起源を対比で理解する→
- 第5章 第5章: 糖衣構文と表現力 — desugar・マクロ・DSL 糖衣構文と脱糖(desugaring)の仕組み、async/awaitの状態機械への変換、わざと冗長にする構文塩(syntactic salt)、C/Lisp/Rustのマクロと同図像性、内部DSL、そして表現力と一貫性のトレードオフ(Perl対Python)→
- 第6章 第6章: パラダイムシフトの力学 Kuhn『科学革命の構造』のパラダイム概念、ソフトウェア危機(1968 NATO会議)、マルチコアが促した関数型回帰、そして「言語は思考を規定するか」——Iverson『思考の道具としての記法』とPaul GrahamのBlub Paradox→
- 第7章 第7章: マルチパラダイムへの収斂 ラムダ式・ストリーム・パターンマッチ・レコード・null安全が主流言語へ流入した15年の年表、なぜ言語機能は収斂するのか、feature creepという批判、そしてなぜ新言語はみなC系の見た目に寄るのか→
- 第8章 第8章: 構文の未来 — AI時代・新言語・国際化 Karpathy『最も熱い新言語は英語』とその反論、Mojo・Zig・Gleamの構文思想、AIにとって読みやすい構文、構造化エディタ、非英語構文と絵文字識別子。構文は消えるのか、むしろ価値が増すのか→