2015-02-11 二週間でオレオレ言語を作るプロジェクト (6日目) 言語処理 今日やった作業は以下の通りです。 型推論器のリファクタリング 代数的データ型の型推論の実装 パターンマッチの型推論の実装 相互再帰関数の型推論の実装 明日は以下の作業を予定しています。 タプルとリストの実装 value restriction の実装 パーサを使いやすいように拡張 クロージャ変換のリファクタリング これまでに開発したプログラムのソースコードはGitHubで公開しています。 lambdataro/Mokkosu