python、JS、Scala等支持函数式编程的语言中,是如何体现“函数是一等公民(first class)”的?而在C/C++、Java等静态语言中的一等公民又是什么?如何体现的?
回复内容:
Python里first-class的是Object。其中有__call__方法的,可以对该对象用普通的函数调用语法,也就是所谓的first-class function了。然而这并不重要。An object is a closure with multiple methods; a closure is an object with a single method. 不管是First-class function也好,currying也好,lambda也好,全部都可以用OO语言上一层极薄的语法糖来实现,连编译器后端都不用改的。
好吧,再解释一下这层FP与OO的联系:
一等函数 支持operator()的函数对象
函数闭包内的自由变量 函数对象的成员变量
lambda表达式 匿名函数类的对象,成员变量由capture list决定
根据词法作用域规则,一等函数内部的自由变量(也就是不与函数参数绑定的变量),值来源于定义处而非调用处。而定义出这个函数的过程,可以看作调用一个OO类的构造函数生成一个对象,其成员变量的值通过构造函数来capture住。而通过lambda表达式定义这种函数对象,可以省去大量的类声明代码。
而这里capture的过程,分为capture by value和capture by reference。C++的lambda允许显式指定,而Python的lambda是没有capture list的,直接capture住了整个当前环境,mutable的变量按reference处理,immutable的变量按value处理。 函数是变量的语言。函数能成为实参,能作为返回值。
From Wikipedia:
In computer science, a programming language is said to have first-class functions if it treats functions as first-class citizens. Specifically, this means the language supports passing functions as arguments to other functions, returning them as the values from other functions, and assigning them to variables or storing them in data structures. Python中对象才是一等公民……
一切都是对象,int是对象,函数是对象,就连class 也是一种对象。 然而就那lambda的语法,足以说明这是骗你的。 到底什么是函数式编程思维? - 用心阁的回答 供参考
Elements with the fewest restrictions are said to have first-class status.
Some of the ''rights and privileges'' of first-class elements are:
1. They may be named by variables.
2. They may be passed as arguments to procedures.
3. They may be returned as the results of procedures.
4. They may be included in data structures.
以上是SICP,习题1.40前面的一段话.
一言以蔽之就是,你能把函数像普通变量一样任意地使用,。包括赋值,以及作为其它函数的参数和返回值。这样就能很容易地写出高阶函数与闭包的代码。
在C++里面必须借助函数指针,函子对象,等变量类型来辅助完成任类似的操作。 跑个题
下次谁跟你说 Python 和 JS 是函数式语言的时候,麻烦你帮我用你最大的力气抽他一耳光
正题:
想理解什么叫函数是一等公民就学 Lisp 啊,Python 那边都明确的说了他们不喜欢函数式你还照他们那种半残废实现学是不是想不开
函数是一等公民很好理解,就是你可以把一个函数像传一个其他的值(数字啊,字符串啊之类的)在函数之间传递
用 Racket 表示一下:
<span class="p">(</span><span class="k">define</span> <span class="n">pass-fn</span> <span class="p">(</span><span class="k">lambda</span> <span class="p">(</span><span class="n">fn</span><span class="p">)</span>
<span class="p">(</span><span class="n">fn</span> <span class="mi">1</span> <span class="mi">2</span><span class="p">)))</span>
<span class="p">(</span><span class="n">pass-fn</span> <span class="nb">+</span><span class="p">)</span> <span class="k">=></span> <span class="mi">3</span>
<span class="p">(</span><span class="n">pass-fn</span> <span class="nb">-</span><span class="p">)</span> <span class="k">=></span> <span class="mi">-1</span>
Python里只有对象,函数是一个对象,跟其它对象一样是最终继承自PyObject,函数可以像任何对象那样进行赋值、传递、名字重绑定、赋值、装进容器、垃圾回收……然而Python并不是函数式语言,不是个以函数为核心的语言,函数也并不是一等公民。 函数能作为参数和函数式编程可完全是两码事。
真的函数式编程是这样的:当我写h = f(g(x))的时候,它的意思不是“先执行g(x)再把返回结果传给f(x)”,而是创造了一个新的函数h,你可以调用h(x)。 (反问一句)python中函数是一等公民吗?
(对比提问)c++中函数是一等公民吗?

本篇文章给大家带来了关于Python的相关知识,其中主要介绍了关于Seaborn的相关问题,包括了数据可视化处理的散点图、折线图、条形图等等内容,下面一起来看一下,希望对大家有帮助。

本篇文章给大家带来了关于Python的相关知识,其中主要介绍了关于进程池与进程锁的相关问题,包括进程池的创建模块,进程池函数等等内容,下面一起来看一下,希望对大家有帮助。

本篇文章给大家带来了关于Python的相关知识,其中主要介绍了关于简历筛选的相关问题,包括了定义 ReadDoc 类用以读取 word 文件以及定义 search_word 函数用以筛选的相关内容,下面一起来看一下,希望对大家有帮助。

本篇文章给大家带来了关于Python的相关知识,其中主要介绍了关于数据类型之字符串、数字的相关问题,下面一起来看一下,希望对大家有帮助。

VS Code的确是一款非常热门、有强大用户基础的一款开发工具。本文给大家介绍一下10款高效、好用的插件,能够让原本单薄的VS Code如虎添翼,开发效率顿时提升到一个新的阶段。

本篇文章给大家带来了关于Python的相关知识,其中主要介绍了关于numpy模块的相关问题,Numpy是Numerical Python extensions的缩写,字面意思是Python数值计算扩展,下面一起来看一下,希望对大家有帮助。

pythn的中文意思是巨蟒、蟒蛇。1989年圣诞节期间,Guido van Rossum在家闲的没事干,为了跟朋友庆祝圣诞节,决定发明一种全新的脚本语言。他很喜欢一个肥皂剧叫Monty Python,所以便把这门语言叫做python。


热AI工具

Undresser.AI Undress
人工智能驱动的应用程序,用于创建逼真的裸体照片

AI Clothes Remover
用于从照片中去除衣服的在线人工智能工具。

Undress AI Tool
免费脱衣服图片

Clothoff.io
AI脱衣机

AI Hentai Generator
免费生成ai无尽的。

热门文章

热工具

SublimeText3汉化版
中文版,非常好用

MinGW - 适用于 Windows 的极简 GNU
这个项目正在迁移到osdn.net/projects/mingw的过程中,你可以继续在那里关注我们。MinGW:GNU编译器集合(GCC)的本地Windows移植版本,可自由分发的导入库和用于构建本地Windows应用程序的头文件;包括对MSVC运行时的扩展,以支持C99功能。MinGW的所有软件都可以在64位Windows平台上运行。

Atom编辑器mac版下载
最流行的的开源编辑器

记事本++7.3.1
好用且免费的代码编辑器

mPDF
mPDF是一个PHP库,可以从UTF-8编码的HTML生成PDF文件。原作者Ian Back编写mPDF以从他的网站上“即时”输出PDF文件,并处理不同的语言。与原始脚本如HTML2FPDF相比,它的速度较慢,并且在使用Unicode字体时生成的文件较大,但支持CSS样式等,并进行了大量增强。支持几乎所有语言,包括RTL(阿拉伯语和希伯来语)和CJK(中日韩)。支持嵌套的块级元素(如P、DIV),