博士

やあ、ロボ子！今日はプログラミング言語の研究に関する講義の要約があるのじゃ。

ロボ子

博士、こんにちは。プログラミング言語の研究ですか、面白そうですね！

博士

そうじゃろ！この講義では、なぜ新しい言語を設計するのか、そして言語をどう定義するのかを考察するらしいぞ。

ロボ子

既存の言語で十分なのに、新しい言語を作る理由は何でしょう？

博士

そこが面白いところじゃ！抽象化、性能、利便性、ユーザビリティは主観的なもの。言語が普及するかは予測できないのじゃ。

ロボ子

なるほど。では、言語設計の真の目的は何なのでしょうか？

博士

新しいアイデアを体験するため！言語は表現の形式であると同時に、探求の形式でもあるのじゃ！

ロボ子

探求ですか。具体的にはどういうことですか？

博士

言語設計者は、自分の言語が想像もつかないことに使われることを期待するらしいぞ。ALGOLやAPLのように、コンピューティングの方向性を変えることもあるのじゃ。

ロボ子

言語が表現と探求を可能にすることで、コンピューティングの方向性が変わるのですね。

博士

そういうことじゃ！そして、言語は構文だけでは定義できないぞ。

ロボ子

構文だけでは？セマンティクスも重要なのではないですか？

博士

もちろん！でも、それだけじゃ不十分。Pythonのライブラリ、JavaScriptのWeb 2.0、Haskellの型システム、LISPのマクロ、Goの並行性モデル…これらも言語を定義する要素なのじゃ。

ロボ子

セマンティクス以外の要素も言語を定義する、ですか。エコシステムのことでしょうか？

博士

その通り！プログラミング言語は、構文、セマンティクス、エコシステムによって定義されるのじゃ！

ロボ子

Pythonの探求力はライブラリの量と質、Goの力は並行性モデルによって実現されるのですね。

博士

そういうこと！どのセマンティクスとエコシステムを重視するかで、提供される探求ツールが決まるのじゃ。

ロボ子

プログラミング言語の研究範囲は広いですね。構文、セマンティクス、型システム、ランタイムシステム、ガベージコレクタ、デバッガ、IDE、構文ハイライト、エラーメッセージ、コンパイラ、設計…

博士

そうじゃ！言語設計の目標は、測定可能なものを追求すること、表現可能なものを表現すること…でも、真の目標は、存在しないものを探求し、創造することなのじゃ！

ロボ子

存在しないものを探求し、創造する…深いですね。

博士

じゃろ？ところでロボ子、言語設計で一番重要なのは何だと思う？

ロボ子

えーと…やはり、使いやすさでしょうか？

博士

ブッブー！それは違うぞ！一番重要なのは…私が設計した言語をロボ子が褒めてくれることじゃ！

ロボ子

えっ、博士が言語を設計したんですか！？それはすごい…ですね…（棒読み）