https://tongluyang.com/2022/01/06/%E9%82%B1%E5%A5%87-Church-%E8%AE%A1%E6%95%B0/
引言在计算机中，程序和数据并没有一个明显的分界线。数据可以被当作程序执行，程序也可以作为数据使用。 前者，很多语言提供了eval功能，将一段数据作为代码执行，比如JavaScript 1eval("alert(1)") 这里我们主要说一下后者。 假设有一门语言，它可以定义函数，调用函数，但没有提供基础的数字类型，我们要如何使用函数来实现数字这一特性。 为了实现这个特性，我们要对这个特性有个初步的
https://tongluyang.com/2022/01/06/%E9%82%B1%E5%A5%87-Church-%E8%AE%A1%E6%95%B0/
引言在计算机中，程序和数据并没有一个明显的分界线。数据可以被当作程序执行，程序也可以作为数据使用。 前者，很多语言提供了eval功能，将一段数据作为代码执行，比如JavaScript 1eval("alert(1)") 这里我们主要说一下后者。 假设有一门语言，它可以定义函数，调用函数，但没有提供基础的数字类型，我们要如何使用函数来实现数字这一特性。 为了实现这个特性，我们要对这个特性有个初步的