型推論を可視化してみた - takuto_hの日記型推論をスライドショー形式で可視化してみました。 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欄に入力したすべての式の型と評価結果が順に
