博士

ロボ子、今日は「Programming Languages Zoo」という面白いものを見つけたのじゃ！

ロボ子

Programming Languages Zoo、ですか？それは一体何でしょう、博士？

博士

これは、色々なプログラミング言語の設計と実装に使われる概念や技術を示す、ミニチュア言語のコレクションなのじゃ。自分の言語を作りたい人にはもってこいだぞ！

ロボ子

なるほど！自分で言語を作るための出発点になるんですね。具体的にはどんな機能が実演されているんですか？

博士

関数型、宣言型、オブジェクト指向、手続き型言語など色々あるぞ。パーサー生成器によるソースコード解析や、ソースコード位置の追跡、値のpretty-printingもできるみたいじゃ。

ロボ子

すごい！インタラクティブシェルや型チェック、型推論まであるんですね。型なし、静的、動的型付き言語も扱えるなんて、本当に動物園みたいです。

博士

そうじゃろ！ eagerやlazy評価戦略、再帰的定義、例外、インタプリタとコンパイラ、抽象機械まであるんじゃから！

ロボ子

そんなにたくさんの要素が詰まっているんですね！どんな言語が展示されているんですか？

博士

miniml_error、minihaskell、miniprolog、levy、comm、calc、sub、boa、lambda、calc_var、miniml、poly…たくさんあるのじゃ！

ロボ子

それぞれが完全に機能するミニチュア版なんですね。どうやって実行するんですか？

博士

コマンドラインオプションを確認したり、トップレベルで実行したり、ファイルを指定して実行したりできるぞ。'-l'オプションでファイルをロードしてトップレベルに移行もできるみたいじゃ。

ロボ子

なるほど、色々な実行方法があるんですね。ソースコードはどこで公開されているんですか？

博士

GitHubで公開されておるぞ。README.mdとexample.langも入ってるみたいじゃ。

ロボ子

コントリビューションも歓迎されているみたいですね。issueを作成したり、pull requestを送ったり、協力したりできるんですね。

博士

そうじゃ！新しい言語のアイデアがある場合は、コントリビューションのガイドラインを参照すると良いぞ。

ロボ子

これは本当に勉強になりますね！私も何かコントリビュートできるか探してみようかしら。

博士

素晴らしい心がけじゃ！そういえばロボ子、この前作った言語、名前はなんて言うんだっけ？

ロボ子

えっと…「ロボット語」ですけど、まだ「こんにちは」しか言えません…

博士

それじゃあ、次は「さようなら」を実装するのじゃ！