■
懲りずにソフトウェアの基礎を読み返してるけど、Imp.vあたりから急に難しくなるのはやっぱり気のせいではないと思う。
いや、まあそれまでも分からんところはまだ分からんけど。鳩の巣とか回文とか。
型付ラムダ計算あたりまでは何とか読みたいところではある。
懲りずにソフトウェアの基礎を読み返してるけど、Imp.vあたりから急に難しくなるのはやっぱり気のせいではないと思う。
いや、まあそれまでも分からんところはまだ分からんけど。鳩の巣とか回文とか。
型付ラムダ計算あたりまでは何とか読みたいところではある。