纯函数式编程

Ⅰ Swift 是面向对象编程语言还是函数式编程语言

简言之，不论是面向对象编程还是函数式编程，如果你走了极端，那都是错误的。面向对象编程的极端是一切都是对象(纯面向对象)。函数式编程的极端是纯函数式编程语言。 面向对象编程的问题 面向对象的问题在于它对“对象”的定义，它试图将所有事情...

Ⅱ 函数式编程好处都有啥

对于函数式编程，你可以学习一下haskell。
重点的优点是语法灵活（在高阶函数里，你可以把函数当做参数传，类似于C的函数指针），语法简洁，类型和数据安全，多态支持性等等。

Ⅲ 函数式编程的特点

函数式编程具有五个鲜明的特点。

1、函数是"第一等公民"
所谓"第一等公民"（first class），指的是函数与其他数据类型一样，处于平等地位，可以赋值给其他变量，也可以作为参数，传入另一个函数，或者作为别的函数的返回值。

2、只用"表达式"，不用"语句"
"表达式"（expression）是一个单纯的运算过程，总是有返回值；"语句"（statement）是执行某种操作，没有返回值。函数式编程要求，只使用表达式，不使用语句。也就是说，每一步都是单纯的运算，而且都有返回值。

3、没有"副作用"
所谓"副作用"（side effect），指的是函数内部与外部互动（最典型的情况，就是修改全局变量的值），产生运算以外的其他结果。

4、不修改状态
上一点已经提到，函数式编程只是返回新的值，不修改系统变量。因此，不修改变量，也是它的一个重要特点。

5、引用透明性
函数程序通常还加强引用透明性，即如果提供同样的输入，那么函数总是返回同样的结果。就是说，表达式的值不依赖于可以改变值的全局状态。

Ⅳ python支持函数式编程吗

python不是完全支持函数式编程，他支持部分函数式编程，函数式编程就是一种抽象程度很高的编程范式，纯粹的函数式编程语言编写的函数没有变量，因此，任意一个函数，只要输入是确定的，输出就是确定的，这种纯函数我们称之为没有副作用。而允许使用变量的程序设计语言，由于函数内部的变量状态不确定，同样的输入，可能得到不同的输出，因此，这种函数是有副作用的。
Python对函数式编程提供部分支持。由于Python允许使用变量，因此，Python不是纯函数式编程语言。

Ⅳ 函数与计算机程序设计之间有什么关系啊，为什么很多计算机程序都提到了函数啊谢谢

计算机中的函数同数学上的函数不完全相同，但及其类似。
都需要参数，都能够把参数映射到结果。
最早的时候计算机就是为计算而生的，所以，用“函数”的概念就顺理成章。

Lisp语言是函数式编程的代表，Haskell是纯函数式编程。
采用用函数式编程，可以令程序清晰优雅。

c语言中的函数就不是那么单纯了，因为它不仅仅是返回结果就了事，而常常是在函数中间做了许多额外的事情；

而对于那些只做事情，不返回数值的“函数”严格来讲，不可以叫函数，应该称作“过程”一类，Basic有很多不好的地方，但区分函数和过程倒是很明显，函数叫做function，过程叫作sub。

Ⅵ 大家都学习或者使用过什么函数式的编程语言啊

当然这些语言是纯的函数式的编程语言，还有很多语言是命令式的，但是语言本身
的功能可以使用函数式的范式来编程，比如Python， Ruby， Lua等都可以做到。
其实C++也可以做到，不过要借助第三方库
函数式编程的意义远大于函数式编程语言的本身。在这个多核要求多并行的时代，
体系结构）出现之前，学习函数式编程的思考和技术还是有着很长远的意义的。

Ⅶ 函数式编程有什么弊端

不论是面向对象编程还是函数式编程，如果你走了极端，那都是错误的。面向对象编程的极端是一切都是对象(纯面向对象)。函数式编程的极端是纯函数式编程语言。
面向对象编程的问题
面向对象的问题在于它对“对象”的定义，它试图将所有事情就纳入到这个概念里。这种做法极端化后，你就得出来一个一切皆为对象思想。
但这种思想是错误的，因为有些东西不是对象。函数就不是对象。

Ⅷ 求科普什么是函数式编程语言

实际上，函数式编程没有一个严格的官方定义。严格上来讲，函数式编程中的“函数”，并不是指我们编程语言中的“函数”概念，而是指数学“函数”或者“表达式”(例如：y=f(x))。不过，在编程实现的时候，对于数学“函数”或“表达式”，我们一般习惯性地将它们设计成函数。所以，如果不深究的话，函数式编程中的“函数”也可以理解为编程语言中的“函数”。

Ⅸ ML语言的ML语言简介

ML一般被归为非纯函数式编程语言，因为它允许副作用和指令式编程。这一点和纯函数式编程语言??例如Haskell??很不一样。
ML特性有惰性求值的求值策略，一阶类型函数， 带有垃圾收集的自动内存管理， 参数多态，静态数据类型，类型推断，代数数据类型，模式匹配和异常处理。
不像Haskell，ML使用表达式求值，也就是说所有的子表达式总是被求值。导致的一个结果是你不能使用无穷表。然而，惰性求值产生的无穷表可以通过使用匿名函数来模拟。
今天在ML家族中有好几种语言：两种主要的方言是Standard ML和Caml，其他的包括F# － 针对Microsoft .NET平台的开放研究项目。 ML中的思想影响了众多的语言，例如Haskell，Cyclone和Nemerle。 ML的实力大多被用于语言设计和操作（编译器、分析器、定理证明机）， 但是它作为通用语言也被用于生化，金融系统，和宗谱数据库，一个P2P的客户/服务器程序等等。
ML可以算一种具备命令式语言特点的函数型语言，或者说面向函数的命令型语言。和Lisp一样，ML具有非常灵活的函数功能。例如一个表达式的值可能就是一个函数，这个函数可以被作为参数传递给另一个函数，或者函数的返回值就是一个函数。同时和Algol类的语言比较接近的是，ML的语法象命令型的，而且用起来象用Algol家族的很多比较新的后代们一样方便。而且ML有并行扩展，可以用来写并行系统；甚至还有面向对象扩展。
John C. Mitchell在他的Concepts in Programming Langugaes一书中使用ML来展示Algol类语言、Lisp类语言、以及并行语言和面向对象语言中的概念。
ML是Robin Milner主管LCF项目时设计的。LCF项目是受Dana Scott给出的一组逻辑原则启发而设立的，致力于开发一种“可计算函数逻辑”（Logic of Computable Functions）。Robin Milner的目标是构造一个方便实用的系统，来自动的或者半自动的证明函数程序中一些有趣的性质。他的LCF项目于1970年在Standford开始，并于1980年代在Edinburge继续进行。期间取得了很多重要进展，并且激发了相关领域的一系列研究工作。
ML是作为LCF项目的元语言（Meta Language）设计的，这也是其名字的来历。它的最初用途是写一些可以生成数学证明的程序。今天，大多数着名的推理系统都是用ML写的。
目前ML有两个发展分支：Standard ML和Caml。
大多数SML编译器的行为方式都是交互式的：用户一条一条输入语句，编译器一一给出反馈。看起来象Logo或者Basic解释器一样。但是其实用户输入的程序是被先编译再执行的（其中细节大家可以从SML/NJ编译器的相关文档和论文中找到）。