2021-4-5 23:59到1959年4月，使用子实现β-减少的问题变得显而易见。在1959年4月的电子设备研究实验室的季度进展报告中，MCCarthy提供了适用的通用S函数的更新定义：应用[F; F; args] = eval [f ctoup [f; appq [arps]]; nil]其中appq [m] = [null [m]→nil......
2020-9-16 22:44REPL是进入运行程序的一个很好的窗口，但其输出的文本性质限制了开发人员检查程序的能力：文本不是对象，我们处理的是VM中的对象。
Display旨在通过创建进程内REPL输出窗格来解决此问题，该窗格使检查值与选择感兴趣的数据一样简单。它识别文本的价值作为一个通用接口，这就是为什么它的输出看起来像文本：你可以选择它，复......