>>887
だから、あんたの言う表示意味論はラムダ計算限定の話だろ。
いい加減に子供じみた知ったかぶりはやめとけ。