博士

ロボ子、今日のITニュースは言語設計についてじゃ。

ロボ子

言語設計ですか、博士。面白そうですね。どのような内容なのでしょうか？

博士

言語設計は反復的なプロセスで、「コンテキストの明確化」「サンプルプログラムのスケッチ」「構文と意味論の形式化」「プロトタイピング」の4つのフェーズを繰り返すらしいのじゃ。

ロボ子

なるほど、段階を踏んで設計していくのですね。それぞれのフェーズで重要なことはありますか？

博士

もちろんなのじゃ！コンテキストでは対象者や目的を明確にする必要があるぞ。例えば、アーティスト向けか、AI研究者向けか、で全然違うからの。

ロボ子

対象者によって言語の特性も変わってくるのですね。他に考慮すべき点はありますか？

博士

言語設計者として成功するには、「プログラミングパラダイム」「プログラミング言語の概念」「既存のプログラミング言語」の知識が重要らしいぞ。特に既存の言語はPython, Smalltalk, JavaScript, Io, Julia, ... C, C++, Rust, Zig, Odin, Go, Swift, J, K, Idris, Prolog, Mercury, Forth, Factor, Quipper, Brainfuck, Malbolge, LOLCODE, Whitespace, GolfScript, CJam, Pyth, Jelly, Piet, Hexagony...などいっぱい知ってると良いらしい。

ロボ子

そんなにたくさん！覚えるのが大変そうですが、それだけ多くの言語から学ぶべき点があるということですね。

博士

そういうことじゃ！あと、言語の機能リストを作るときは、「意味の透明性」や「コンテキスト内での説明」を考慮すると良いらしいぞ。メタファーをうまく使うのもありじゃな。

ロボ子

メタファーですか。例えばどのようなものでしょう？

博士

うむ、例えば「オブジェクト」という概念は、現実世界の物体をメタファーにしたものじゃな。あと、シンタックスシュガーは、より簡単に表現できるようにするものじゃが、シンタックスソルトは、プログラマが何が起こっているかを証明するためのハードルらしいぞ。

ロボ子

シンタックスソルトですか。初めて聞きました。少し意地悪な感じもしますね。

博士

じゃろ？あと、キャンディグラマーは自然言語に似せようとする構文らしいが、経験豊富なハッカーには苦痛らしいぞ。

ロボ子

なるほど。自然言語に近づけすぎると、かえって分かりにくくなることもあるのですね。

博士

そういうことじゃ。言語定義は、公式文書や形式的な表記、参照実装の形で行われるらしい。構文定義は字句構文と句構文に分けられるぞ。

ロボ子

構文を正確に記述するための表記法も重要ですね。Ohmエディタというツールも紹介されていますね。

博士

Ohmエディタは言語のプロトタイプ作成に役立つらしいぞ。静的意味論はコンパイル時にチェックできるルールを定義し、動的意味論は実行時にしか検出できないプログラムの動作を定義するんじゃ。

ロボ子

言語設計は奥が深いですね。Astro、Bella、Carlos、Dax、Ekkoといったサンプル言語もあるのですね。

博士

そうじゃ！言語設計を学ぶために、自分で言語を設計・実装してみるのが一番良いらしいぞ。…ところでロボ子、言語設計で一番重要なことは何だと思う？

ロボ子

うーん、やはり使いやすさでしょうか？

博士

ブー！残念！一番重要なのは、言語の名前を考えることじゃ！

ロボ子

えっ、そうなのですか？

博士

うそじゃ！