型推論を可視化してみた

型推論をスライドショー形式で可視化してみました。
http://www.geocities.jp/takt0_h/ibis-js/visualize.html
各フォームの機能は以下の通りです。

Control

interpret

Edit欄の内容をパーズ・型推論・評価し、結果をResult欄とScreen欄に表示します。

clear

Edit欄の内容をクリアします。

factorial

Edit欄に階乗を求める関数のコードを入力します。

fizzbuzz

Edit欄にFizzBuzzのコードを入力します。

peano

Edit欄にバリアントを用いた自然数の定義とその上での演算をするコードを入力します。

Edit

ここに式を入力してください。interpretボタンを押すとResult欄とScreen欄に結果が表示されます。

Result

Edit欄に入力したすべての式の型と評価結果が順に表示されます。

Expression

Screen欄に表示する式を変更できます。

Inference

型推論の過程をたどることができます。

Screen

Edit欄に入力した式のパーズ結果と型推論の過程が表示されます。