Smoky God Express

前回: hkdnet.hatenablog.com 今回は5章終わりまで、と思っていたが 5.2. の最後まででいい時間になってしまったので終わり。 今回は記憶がおぼろげなのでおぼろげに書きます。 ラムダ計算におけるリストの表現などについて Scott encoding, Church encoding と言われて何もわからなかったが、以下のブログに詳しい。 d.ha…