Pope 的废纸篓

原创 什么？函数是一等公民！

最近在看λ演算，一开始很迷惑，不就是一堆函数吗，Church为什么要搞个什么λ记法。后来发现，λ记法固然有它的优势（在替换时便于分清替换的是哪个部分，函数还是自变量），但不用它似乎更直观一些。