hkdnet.hatenablog.com 引き続きTaPL読書録です。今回は3.4.まで。 この項の構文は succ true や if 0 then 0 else 0 のような怪しげな項の形成を許すことに注意されたい(p.18) 怪しげw 「型なし算術式」なのでこの手のものを許可せざるを得ない。 評価のと…