Lambda演算之Y-Combinator的推导

上一节中,我们讲到了如何使用& lambda; 演算来描述自然数,可以看出& lambda; 演算的表现力确实非常强大,然而遗憾的是,由于 lambda 演算中使用的都是匿名函数,所以它无法很直观地表述递归。 如果缺少了递归,& lambda; 演算的能力无疑会大打折扣 ...
来自: 开发者社区 > 博客 作者: james_zhan 浏览:1081 回复:0

Lambda演算之Y-Combinator的推导(JS描述)

上一节中,我们讲到了如何使用& lambda; 演算来描述自然数,可以看出& lambda; 演算的表现力确实非常强大,然而遗憾的是,由于 lambda 演算中使用的都是匿名函数,所以它无法很直观地表述递归。 如果缺少了递归,& lambda; 演算的能力无疑会大打折扣 ...
来自: 开发者社区 > 博客 作者: james_zhan 浏览:1697 回复:0

闭包漫谈(从抽象代数及函数式编程角度

集合,那么就可以等价表述说这个运算在这个集合上是封闭的。而我下面所要阐述的闭包是一种截然不同的概念。所以,当在函数式语言的著作中看到“闭包”时,需要根据上下文环境小心区分其表述哪种概念。 Lambda 演算与自由变量函数式 ...
来自: 开发者社区 > 博客 作者: rollenholt 浏览:758 回复:0
推荐

阿里云高校特惠,助力学生创业梦!0元体验,快速入门云计算!

建个炫酷的简历网页,制作一个浪漫的表白网页,打造个人专属网盘,多种动手场景应用免费学!!!
广告

真正并行计算的难度(附-真正AI的难度

,就必须将计算本身而不是计算的过程作为一个重点,实际上,在图灵机被发明出来的同一时间,出现了一个叫做 lambda 演算的方法,它的计算能力被证明 和图灵机是一致的,不同的是, lambda 演算专注的是计算本身,它里面没有变量,只有计算,没有变量也就从根本上消除 ...
来自: 开发者社区 > 博客 作者: 科技小能手 浏览:9 回复:0

编程语言的一些概念

已有的导线,这些导线被叫做“参数”。所以一个 lambda calculus 的解释器实际上就是一个电子线路的模拟器。关于 lambda 演算的相关知识,可以参考我之前的2篇文章。 Lambda 演算之自然数(Clojure描述 ...
来自: 开发者社区 > 博客 作者: james_zhan 浏览:1859 回复:0

《程序员的呐喊》一一1.2 巴别塔

影响其本质。冯诺伊曼机是一个在20世纪50年代就实现的图灵机(这是一个进行计算的抽象模型,非常有名),它很实用,性价比也很高。其他类型的机器也是存在的。比如Lisp机,它实现了20世纪50年代的Lisp。Lisp是一种基于 lambda 演算的编程语言 ...
来自: 开发者社区 > 博客 作者: 异步社区 浏览:249 回复:0

Python基础技术问题总结

看了许多东西,总想把 lambda表达式和 lambda 演算之间的关系研究明白,但是后来发现,文献中除了说 lambda这个名字的由来是借鉴了 lambda 演算之外,再没有谈及其它。那么 lambda表达式有什么好处?匿名函数,一般用来给filter,map ...
来自: 开发者社区 > 博客 作者: 余二五 浏览:20 回复:0

零基础构建语言解释器

麻烦并且乏味的。 这里,为了简单,我们选用S-Expression来作为我们的文法规则来实现 Lambda Calculus( Lambda 演算)的解释器。 通过该Interpreter的实现,大家可以很容易就搞明白程序设计语言中耳熟能详却又未必深刻了解的一些 ...
来自: 开发者社区 > 博客 作者: james_zhan 浏览:701 回复:0

美国十八九岁的新一代黑客原来是这个样子

·丘奇,因为他的编程理论( Lambda 演算)真的很酷。艾兹格·迪科斯彻(最短路径算法和银行家算法的创造者)。史蒂夫·乔布斯。答案还能改吗?能改的话,道格拉斯·恩格尔巴特(鼠标之父)。他发明了我们今天用的所有东西 ...
来自: 开发者社区 > 博客 作者: 燕儿199606 浏览:140 回复:0

python Function(函数

lambda 演算的函数可以接受函数当作输入、输出。&&&&python支持有限的函数式编程功能:&&&&filter(func,seq) & &调用一个布尔函数func ...
来自: 开发者社区 > 博客 作者: 余二五 浏览:18 回复:0

JavaScript函数编程-Ramdajs

Curry 命名的,尽管它是 Moses Schnfinkel 和 Gottlob Frege 发明的。在理论计算机科学中,柯里化提供了在简单的理论模型中比如只接受一个单一参数的 lambda 演算中研究带有多个参数的函数的方式。ramdajs利用这一技术 ...
来自: 开发者社区 > 博客 作者: zting科技 浏览:12 回复:0

JavaScript函数柯里化

命名的,尽管它是 Moses Schnfinkel 和 Gottlob Frege 发明的。在理论计算机科学中,柯里化提供了在简单的理论模型中比如只接受一个单一参数的 lambda 演算中研究带有多个参数的函数的方式。JavaScript的柯里化 ...
来自: 开发者社区 > 博客 作者: zting科技 浏览:21 回复:0

Y-Combinator不同语言实现方案

递归和定点纯& lambda; 演算的一大特色是可以通过使用一种自应用技巧来书写递归函数。f(n) = if n = 0 then 1 else n*f(n-1) f = & lambda;n.if n = 0 then 1 else n*f(n ...
来自: 开发者社区 > 博客 作者: james_zhan 浏览:923 回复:0

[Erlang 0056] 用fun在Erlang Shell中编写尾递归

8%8D%E5%8A%A8%E7%82%B9& lambda; 演算&http://zh.wikipedia.org/wiki/%E6%97%A0%E7%B1%BB%E5%9E%8B_ lambda_%E6%BC%94%E7%AE%97 ...
来自: 开发者社区 > 博客 作者: 唐玄奘 浏览:7 回复:0

每个人都应该懂点函数式编程

式编程函数式编程由 Lambda 演算得来,因此它与我们学过的数学非常类似。在学习函数式编程之前,我们最好忘记之前头脑中的一些编程思想(如学习C C++的时候),因为前后两个编程思维完全不同。下面分别举例来说明函数式编程中的一些概念和数学中对应概念关系 ...
来自: 开发者社区 > 博客 作者: 行者武松 浏览:117 回复:0

python之函数式编程与函数闭包

语言最重要的基础是 lambda演算,而且 lambda 演算的函数可以接受函数当作输入和输出Python支持有限的函数式编程功能:filter(func,seq):调用一个布尔函数func来迭代遍历每个seq中的元素;返回一个使func返回值为 ...
来自: 开发者社区 > 博客 作者: 余二五 浏览:9 回复:0

热点推荐:2015前端生态发展回顾

lambda 演算更关注输入输出,更符合自然行为场景,所以看上去更适合事件驱动的web体系,这点我也认同。但问题是,太多开发者看到redux那么火 爆就急着学redux用js去玩函数式,我觉得这个有待商榷。js作为一个以基于函数(scheme,父亲 ...
来自: 开发者社区 > 博客 作者: 行者武松 浏览:170 回复:0

《JavaScript核心概念及实践》——导读

,工业级的程序设计语言,如C/C++、Java、Object Pascal(DELPHI)等,从本质上来讲,这些语言是基于程序存储原理,即冯·诺依曼体系的,一般叫做命令式编程语言。而另一种,是根据阿隆左·丘奇的 lambda 演算而 ...
来自: 开发者社区 > 博客 作者: 异步社区 浏览:266 回复:0

《Clojure编程乐趣》—— 第1章,第1.3节函数式编程

可行的函数式编程定义**无论函数式编程定义用的是 lambda 演算、单子I/O(monadic I/O)、delegate还是java.lang. Runnable,基本的单元可能就是某种形式的过程、函数或是方法—这是根本。函数式编程关心和 ...
来自: 开发者社区 > 博客 作者: 异步社区 浏览:224 回复:0

JavaScript函数柯里化

Curry 命名的,尽管它是 Moses Schnfinkel 和 Gottlob Frege 发明的。在理论计算机科学中,柯里化提供了在简单的理论模型中比如只接受一个单一参数的 lambda 演算中研究带有多个参数的函数的方式。JavaScript的柯里 ...
来自: 开发者社区 > 博客 作者: ghost丶桃子 浏览:618 回复:0
< 1 2 3 4 ... 192 >
共有192页 跳转至: GO

新品推荐

你可能感兴趣

热门推荐

阿里云企典 企典文档内容 阿里云云电脑-无影 弹性加速计算 阿里云全栈数据工厂 企业数字协同产品 阿里云无影