今日やった作業は以下の通りです。 型推論器のリファクタリング 代数的データ型の型推論の実装 パターンマッチの型推論の実装 相互再帰関数の型推論の実装 明日は以下の作業を予定しています。 タプルとリストの実装 value restriction の実装 パーサを使い…