>>815
Lispはともかく、
型なしラムダ計算については?