最近在看λ演算，看到Church 数的时候很迷惑，不就是一堆函数吗，Church为什么要搞个什么λ记法。后来发现，λ记法固然有它的优势（在替换时便于分清替换的是哪个部分，函数还是自变量），但不用它似乎更直观一些。的时候很迷惑，不就是一堆函数吗，Church为什么要搞个什
阅读背景：
什么？函数是一等公民！
来源：互联网
分享到：
