itchynyのブックマーク - はてなブックマーク

型推論を可視化してみた - 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欄に入力したすべての式の型と評価結果が順に
itchyny 2011/04/12
型推論
リンク
JavaScript による型推論器の実装 - takuto_hの日記
型推論に興味はあるけど、抽象的な説明が多く難しそうだと思っている方々。基礎的なことを押さえておけば、型推論器は簡単に実装できます。ここでは、私が JavaScript で書いた型推論器を例に、型推論の基本的なアルゴリズムの一例を具体的に説明していきます。解説対象は、ibis-js-1.0.0です。型推論の可視化ツールを使いながら読むとよりわかりやすいかもしれません。目次型変数と単一化多相型 let と let rec バリアント型
itchyny 2011/04/03
型推論

JavaScript

compiler
リンク
JavaScriptで型推論器を作りました - takuto_hの日記
JavaScriptで型推論付き静的型付け言語のインタプリタを作成しました。これは、サイボウズ・ラボユースのメンバーとして開発をさせていただいたものです。ライセンスは MIT License です。 Ibis Interpreter GitHub 型推論の実装方法を解説するため、メジャーであり気軽に試せるJavaScriptを使って型推論器を書きました。文法の簡単な説明は Ibis クイックチュートリアル実装の詳細については JavaScript による型推論器の実装をご覧ください。
itchyny 2011/04/01
JavaScript

型推論
リンク
1