@freedomme 对于λx.x来说，x是绑定变量，但对于x[x:=y]来说，x就是自由变量了
λ演算(Lambda Calculus)入门基础（一）：定义与归约此系列文章是我学习lambda演算过程的总结与复习，着重于探讨“为什么(Why)”与“怎么做(How)”，也希望能对看到它的人学习了解这个形式系统有些微帮助。由于之前看了不少...
发简信
IP属地：浙江
-
-
@牛头酋长 理解一下上一篇的绑定变量与自由变量
λ演算(Lambda Calculus)入门基础（二）：丘奇编码(Church Encoding)
上一篇我们已经建好了lambda演算大厦的地基，接下来需要了解的就是如何在此基础上构造用于计算的一些通用工具了，比如自然数、布尔值、基本运算和布尔运算等等。 丘奇数(Chur...
-
至于你邮件中提到的问题，f和x是variable，函数体是f x，即apply f to y，所谓应用1次f就是这个意思。
λ演算(Lambda Calculus)入门基础（二）：丘奇编码(Church Encoding)
上一篇我们已经建好了lambda演算大厦的地基，接下来需要了解的就是如何在此基础上构造用于计算的一些通用工具了，比如自然数、布尔值、基本运算和布尔运算等等。 丘奇数(Chur...
-
@牛头酋长 你可以看下我上一篇文章一开始提到的消歧约定：
一个函数抽象的函数体将尽最大可能向右扩展，即：λx.M N代表的是一个函数抽象λx.(M N)而非函数应用(λx.M) N。
函数应用是左结合的，即：M N P意为(M N) P而非M (N P)。λ演算(Lambda Calculus)入门基础（二）：丘奇编码(Church Encoding)
上一篇我们已经建好了lambda演算大厦的地基，接下来需要了解的就是如何在此基础上构造用于计算的一些通用工具了，比如自然数、布尔值、基本运算和布尔运算等等。 丘奇数(Chur...
-
Mongoose搭建RESTful http/https web server
具体过程就不说了，mongoose很小巧，只有两个文件mongoose.h/cpp，拿来就可以用，并且官方文档包括example也相当的丰富，可以去官网或者GitHub上浏览...
-
OpenSSL生成HTTPS自签名证书
之前在Windows上有用Perl编译过OpenSSL，不过只是要用它的两个静态库，这次搭一个https server还要用它来生成自签名证书，其中我的配置文件在openss...
-
-
TCP回环连接导致的端口已占用
昨天遇到一个奇怪的问题，MQ意外挂掉后无法重启，Java抛了成吨的异常，找了找发现问题是端口已占用，本来以为是监听端口被哪个第三方服务给抢了，但是netstat后看到一个奇怪...
-
λ演算(Lambda Calculus)入门基础（二）：丘奇编码(Church Encoding)
上一篇我们已经建好了lambda演算大厦的地基，接下来需要了解的就是如何在此基础上构造用于计算的一些通用工具了，比如自然数、布尔值、基本运算和布尔运算等等。 丘奇数(Chur...
-
λ演算(Lambda Calculus)入门基础（一）：定义与归约
此系列文章是我学习lambda演算过程的总结与复习，着重于探讨“为什么(Why)”与“怎么做(How)”，也希望能对看到它的人学习了解这个形式系统有些微帮助。由于之前看了不少...
-
Write the Code, Change the World, 改变世界从编程开始, 收集编程相关的干货
