日記、書いてないので書いておくと、型推論をやるぞー！ってことで、型推論をいろいろ勉強中です。 型推論って要するに、プログラムにunify(単一化)してやって、型が分かるところから引っ張って来て分かったらそれを使うってだけなんだけど、 それが難しいん…