函数式编程
杂毛小道
Ctrl C + Ctrl V
展开
-
协变与逆变(Covariance and Contravariance)
[协变与逆变(Covariance and Contravariance)](https://www.zmxiaodao.com/post/tech/fp/covariance_contravariance/)原创 2020-09-03 12:31:42 · 215 阅读 · 0 评论 -
λ演算(Lambda calculus)的简明介绍
这篇文章主要从编程应用的角度简单介绍了一下λ 演算,也是我学习的笔记,错误之处在所难免,希望各位方家多多批评指教。我们先从函数开始,在这里我们将函数看成一个黑盒,你不能看到里边是什么,它需要一些输入,以某种方式处理它,然后产生一个输出。举个简单的例子,下边这个函数只接受一个输入x,输出x+1:我们也可以有另一个一个黑盒,它有两个输入x和y,以某种方式处理它们然后输出x + y。在这个意义上,关于函数有两个重要的东西:第一个就是那个黑盒,你不知道盒子里发生了什么,你能做的就是把一些东西放进去,然原创 2020-05-17 21:57:58 · 1012 阅读 · 0 评论