搜索
首页后端开发Python教程如何理解“python中函数是一等公民”?

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++中函数是一等公民吗?
声明
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn
您如何切成python阵列?您如何切成python阵列?May 01, 2025 am 12:18 AM

Python列表切片的基本语法是list[start:stop:step]。1.start是包含的第一个元素索引,2.stop是排除的第一个元素索引,3.step决定元素之间的步长。切片不仅用于提取数据,还可以修改和反转列表。

在什么情况下,列表的表现比数组表现更好?在什么情况下,列表的表现比数组表现更好?May 01, 2025 am 12:06 AM

ListSoutPerformarRaysin:1)DynamicsizicsizingandFrequentInsertions/删除,2)储存的二聚体和3)MemoryFeliceFiceForceforseforsparsedata,butmayhaveslightperformancecostsinclentoperations。

如何将Python数组转换为Python列表?如何将Python数组转换为Python列表?May 01, 2025 am 12:05 AM

toConvertapythonarraytoalist,usEthelist()constructororageneratorexpression.1)intimpthearraymoduleandcreateanArray.2)USELIST(ARR)或[XFORXINARR] to ConconverTittoalist,请考虑performorefformanceandmemoryfformanceandmemoryfformienceforlargedAtasetset。

当Python中存在列表时,使用数组的目的是什么?当Python中存在列表时,使用数组的目的是什么?May 01, 2025 am 12:04 AM

choosearraysoverlistsinpythonforbetterperformanceandmemoryfliceSpecificScenarios.1)largenumericaldatasets:arraysreducememoryusage.2)绩效 - 临界杂货:arraysoffersoffersOffersOffersOffersPoostSfoostSforsssfortasssfortaskslikeappensearch orearch.3)testessenforcety:arraysenforce:arraysenforc

说明如何通过列表和数组的元素迭代。说明如何通过列表和数组的元素迭代。May 01, 2025 am 12:01 AM

在Python中,可以使用for循环、enumerate和列表推导式遍历列表;在Java中,可以使用传统for循环和增强for循环遍历数组。1.Python列表遍历方法包括:for循环、enumerate和列表推导式。2.Java数组遍历方法包括:传统for循环和增强for循环。

什么是Python Switch语句?什么是Python Switch语句?Apr 30, 2025 pm 02:08 PM

本文讨论了Python版本3.10中介绍的新“匹配”语句,该语句与其他语言相同。它增强了代码的可读性,并为传统的if-elif-el提供了性能优势

Python中有什么例外组?Python中有什么例外组?Apr 30, 2025 pm 02:07 PM

Python 3.11中的异常组允许同时处理多个异常,从而改善了并发场景和复杂操作中的错误管理。

Python中的功能注释是什么?Python中的功能注释是什么?Apr 30, 2025 pm 02:06 PM

Python中的功能注释将元数据添加到函数中,以进行类型检查,文档和IDE支持。它们增强了代码的可读性,维护,并且在API开发,数据科学和图书馆创建中至关重要。

See all articles

热AI工具

Undresser.AI Undress

Undresser.AI Undress

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

AI Clothes Remover

AI Clothes Remover

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

Undress AI Tool

Undress AI Tool

免费脱衣服图片

Clothoff.io

Clothoff.io

AI脱衣机

Video Face Swap

Video Face Swap

使用我们完全免费的人工智能换脸工具轻松在任何视频中换脸!

热工具

WebStorm Mac版

WebStorm Mac版

好用的JavaScript开发工具

MinGW - 适用于 Windows 的极简 GNU

MinGW - 适用于 Windows 的极简 GNU

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

适用于 Eclipse 的 SAP NetWeaver 服务器适配器

适用于 Eclipse 的 SAP NetWeaver 服务器适配器

将Eclipse与SAP NetWeaver应用服务器集成。

mPDF

mPDF

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

安全考试浏览器

安全考试浏览器

Safe Exam Browser是一个安全的浏览器环境,用于安全地进行在线考试。该软件将任何计算机变成一个安全的工作站。它控制对任何实用工具的访问,并防止学生使用未经授权的资源。