john7rv

ラムダ計算には型の無いラムダ計算と型のあるラムダ計算があります
型とはプログラミング言語にも良く用いられる型と同じです
最初に作られたラムダ計算には型はありませんでした
しかし型が無いと
ラムダ計算に非決定性が実現できるので
それを防ぎたいと考えたチャーチは型の概念を導入したのでした
ただし型無しラムダ計算が間違っているわけでも全くありません
依然としてラムダ計算の中心とも言えます
プログラミング言語のlispやSchemeも型無しラムダ計算の影響を強く受けています