今日も https://github.com/ilya-klyuchnikov/tapl-scala/ を写経しました。なんで、TAPLを読んでいるのかというと、俺俺コンパイラを作る為に型理論の勉強が必要だからです。でもTAPLをすぐに読める状況ではないので何が書いてあるのかを把握する為に、実装…