LISP——关于其过去和未来的笔记——1980，中文翻译

Programming
5

Church Scott encoding 不止能定义数字，还能定义所有的 inductive datatype

这类编码的意义正是因为只有纯 lambda calculus 就能定义数据类型，不用额外引入基础数据类型，这样的情况才能享受到比如parallel interaction net 的性能优势