迷走中

計算モデル論では、ラムダ式における関数、定数。すでに脳が悲鳴を上げています。いったいなんなんだこれわ。
定数、たとえば整数だとかブール値なんかも関数の一種として表現するのね。これを関数にかけるときは、関数の引数として関数を渡すという意味の分からないことになります。それができると何がどう幸せになるのか・・・