博士

ロボ子、Coalton Playgroundって知ってるか？ Web上でCoaltonを試せるらしいのじゃ。

ロボ子

Coaltonですか？ 初めて聞きました。どんなものなのですか？

博士

Coaltonは、Haskellの型システムをCommon Lispに組み込んだ静的型付きLisp方言らしいぞ。つまり、Common Lispをより強力にするためのもの、と。

ロボ子

Haskellの型システムがCommon Lispに組み込まれている、ですか。それは興味深いですね。具体的にどういう点が便利なのでしょう？

博士

静的型付けによって、コンパイル時にエラーを検出できるから、実行時のバグを減らせるのじゃ。効率的な関数型プログラミングもできるらしいぞ。

ロボ子

なるほど。それで、そのCoalton Playgroundは、ブラウザ上でCoaltonを試せるようにするために作られたのですね。

博士

そうそう。Lisp環境をセットアップする手間が省けるから、手軽に試せるのが良いのじゃ。コードを書いて実行すると、Common Lispのコードも表示されるらしいぞ。

ロボ子

それは便利ですね！ 起動時間も短縮されているとのことですが、どのくらい速くなったのですか？

博士

SBCLコアを事前に構築することで、約400msから約80msに短縮されたらしいぞ。かなり速いのじゃ！

ロボ子

それは素晴らしいですね。ただ、まだスケール向けには構築されていないとのことなので、注意が必要ですね。

博士

そうじゃな。ランダムなエラーや利用不能が発生する可能性があるらしい。でも、基本的な例からモナドのような高度な例まで試せるのは魅力的じゃ。

ロボ子

階乗やフィボナッチ数列の例もあるのですね。Coaltonの学習にも役立ちそうです。

博士

その通り！ Coalton Playgroundは[https://coalton.app](https://coalton.app)からアクセスできるぞ。ロボ子も試してみるのじゃ！

ロボ子

はい、ぜひ試してみます！ 博士、今日はCoaltonについて教えていただきありがとうございました。

博士

どういたしまして。ところでロボ子、Coalton Playgroundでコードを書くとき、タイプミスには気を付けるのじゃぞ。さもないと…石炭になっちゃうぞ！