朝
WSL2を有効化したWindowsでもVirtual Boxが使えるというツイートを見かけたので試してみた．
ところがインストール途中でInstallation errorがでてきてしまった．ファイルがこわれているらしい．isoこわれてたのかな．あるいはインストール中，パソコンがメチャクチャ熱かったのでそっちかもしれない．昼にもう一回試す．
昼
Ubuntuを頑張ってインストールしようとしたがどうしてもうまくいかない．WSLがあるので無理して動かす必要もないということでやめた．
リストのパターンマッチを完成させた．
死闘のすえリストのパターンマッチができた(なお拡張性さん......) pic.twitter.com/NC7Td8NNsJ
— いかなご🤠 (@ikanag0) May 29, 2020
とりあえず動いたが他のパターンもうまく実装できる気がしない．ということで一旦型推論を実装するパートに移ろうと思う．
夜
いよいよ型推論の章に入る．
ここまでの実装はいままでやってきたことを工夫すればよかったが，ここからは未知の領域なので資料を読んでもスッと頭に入ってはこない．じっくり読みながら型代入の実装までできた．まだ動作確認はしていないが今日はつかれたのでねる．
