内容简介:函数架构是指一个架构中主要部分是纯函数,且纯函数不能调用不纯的活动;但是不纯的活动能够调用纯函数。那么什么是纯函数?就是引用透明,为了使函数具有引用透明性(也称为比如对于表达式,等号的左手边和右手边是真正相等的:
函数架构是指一个架构中主要部分是纯函数,且纯函数不能调用不纯的活动;但是不纯的活动能够调用纯函数。
那么什么是纯函数?就是引用透明,为了使函数具有引用透明性(也称为 纯函数 ),它必须具有两个属性:
- 它必须始终对同一输入返回相同的输出。我们称之为质量决定论。
- 它必须没有副作用。
比如对于表达式,等号的左手边和右手边是真正相等的:
two = 1 + 1
在 Haskell中 ,这是由编译器强制执行的,“=”真正意味着相等。在C#,Java和其他命令式语言中,“=”暗示赋值,而不是相等。
如果代码是引用透明的,那么您可以使用左侧的符号替换右侧的表达式:
i = findBestNumber [42,1337,2112,90125]
FP中的所有其他内容都遵循此定义。例如,值必须是不可变的,因为如果它们不是,你可以改变它们,这将被视为副作用。
我更喜欢这个定义的原因是它支持伪证法。你可以断言函数或值是纯粹的; 所需要的只是一个反例来证明它不是。反例可以是一个对于同样输入值不总是产生相同返回值的例子,也可以是产生副作用的函数调用的例子。
所有软件都会产生副作用:更改显示器上的像素是一个副作用。将字节写入磁盘是一个副作用。通过网络传输一点是副作用。
假设你有两组操作:不纯的活动和纯函数。
纯函数:虽然有纯函数的规则,但这些规则仍然允许交互。一个纯函数可以调用另一个纯函数。这种交互不会改变任何这些功能的属性。调用者和被调用者都保持无副作用和确定性。
不纯活动:不纯的活动也可以互动。没有规则适用于他们。由于没有规则适用于不纯的活动,因此它们可以调用纯函数。
不纯的活动不受规则约束,因此他们可以做任何他们需要做的事情,包括绘制像素,写入文件或调用纯函数。纯函数是确定性的,没有副作用。这些属性不会因为其输出结果会显示在屏幕上而改变。
函数架构的规则:
Caller表示调用者,Callee表示被调用者
让我们将上述规则称为函数交互法:纯函数不能调用不纯的活动。因此,函数架构是遵循该法则的代码库,并且具有很大一部分纯代码。
显然,通过编写不纯的代码,您可以轻而易举地遵守函数交互法。从某种意义上说,这是您在命令式编程语言中默认执行的操作。如果你熟悉Haskell,想象一下编写一个完整的程序IO。这是可能的,但毫无意义。
代码库的重要部分应该由纯代码组成。多少为好?越多越好。主观上,我会说代码库的一半以上应该是纯粹的。
如果有一个 工具 可以自动检查代码是否遵循函数交互法则会很好。我所知道的唯一强制执行函数交互法的工具是一些编程语言,最着名的是Haskell(其他也存在)。Haskell通过其IO类型强制执行函数交互法。您不能IO在纯函数(不返回的函数IO)中使用值。如果您尝试,您的代码不会编译。
我个人反复使用Haskell来理解函数架构的局限性,例如确定 依赖注入不起作用 , 因为它使一切都不纯。
以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持 码农网
猜你喜欢:- 想要确保架构目标达成?适合度函数了解一下
- Serverless 架构:我心中函数的无状体性
- Serverless 架构:我心中函数的无状体性
- 学习underscore源码整体架构,打造属于自己的函数式编程类库
- Python 拓展之特殊函数(lambda 函数,map 函数,filter 函数,reduce 函数)
- Python 函数调用&定义函数&函数参数
本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们。
Java技术手册(第6版)
Benjamin J Evans、David Flanagan / 安道 / 人民邮电出版社 / 2015-12-1 / 79.00
《Java技术手册 第6版》为《Java 技术手册》的升级版,涵盖全新的Java 7 和Java 8。第1部分介绍Java 编程语言和Java 平台,主要内容有Java 环境、Java 基本句法、Java 面向对象编程、Java 类型系统、Java的面向对象设计、Java 实现内存管理和并发编程的方式。第2部分通过大量示例来阐述如何在Java 环境中完成实际的编程任务,主要内容有编程和文档约定,使......一起来看看 《Java技术手册(第6版)》 这本书的介绍吧!