image.png
如果一个lambda expression 可以被reduce，那么normal order一定可以reduce到最简单的模式，applicative order不一定可以
convention
M N
(λx.xy)(λk.kx)
= (λt.ty)(λk.kx)
=kxy
bound variable in the left side = free variable in the right side
image.png
起源 函数式语言的currying特性来自于lambda calculus，lambda calculus只支持单...
essential of Lambda是 《Lambda-Calculus and Combinators : A...
Lambda Interpreter A λ-calculus interpreterinterpreter us...
lambda函数定义 lambda函数是C++11中的新特性，名称来自于lambda calculus（λ演算）。...
λ演算 https://en.wikipedia.org/wiki/Lambda_calculus match (...
从外往里 reduction orderimage.png normal orderM N Pleft to ri...
Lambda 定义 例(py): (lambda x : x + x)(5)10Currying 例： (lamb...
https://liujiacai.net/blog/2014/10/12/lambda-calculus-int...
图灵机（Turing Machine） λ演算（lambda calculus） 计算机的本质（自我理解） 读取-...
在前一部分中， 我们简单的学习了Lambda calculus的定义。既然是给lambda演算添加了类型，那么我们...
本文标题：lambda calculus
本文链接：https://www.haomeiwen.com/subject/uaaxvctx.html
网友评论