上一篇我們已經(jīng)建好了lambda演算大廈的地基竹握，接下來需要了解的就是如何在此基礎上構造用于計算的一些通用工具了画株，比如自然數(shù)、布爾值啦辐、基本運算和布...

此系列文章是我學習lambda演算過程的總結與復習谓传，著重于探討“為什么(Why)”與“怎么做(How)”，也希望能對看到它的人學習了解這個形式系...