<译> 范畴:复合的本质

发布时间:2019-06-17 发布网站:脚本宝典
脚本宝典收集整理的这篇文章主要介绍了<译> 范畴:复合的本质脚本宝典觉得挺不错的,现在分享给大家,也给大家做个参考。

原文见 http://bartoszmilewski.com/20...

上一篇文章,即《写向程序猿的范畴论》的序言,发布之后得到的正面反馈让我有些不知所措。同时,它也激励了我,因为我感受到了大家付诸于我的殷切期望。不过,我担心的是无论我如何努力,依然众口难调。有些读者希望这本书偏于现实,有些人则希望它能抽象一些。有些憎恨 C++ 的人希望所有的示例都是 Haskell 的,而那些憎恨 Haskell 的人又希望示例是 Java 的。我还知道内容的进展对于有些人可能太慢了,而对于有些人可能又太快了。这本书可能不会很完美,它会充满着妥协。不过,我只期望能够与大家分享一下我顿悟时的惊喜。我们现在从最基本的东西开始

范畴是一个相当相当相当简单的概念。一些对象以及对象之间存在的一些箭头就构成了一个范畴。所以,范畴很容易用图形来表示。对象可以画成或点,箭头就画成箭头。为了好玩,有时我会把对象画成小猪,将箭头画成焰火。范畴的本质是复合,如果你愿意,也可以说复合的本质是范畴。箭头可以复合,因此如果你有一个从 A 指向 B 的箭头,又有一个从 B 指向 C 的箭头,那么就必定有一个复合箭头——从 A 指向 C 的箭头。

<img tITle="<译> 范畴:复合的本质" alt="<译> 范畴:复合的本质" data-src="/img/bVqsfr" src="https://static.segmentfault.COM/v-5cc2cd8e/global/img/squares.svg" style="cursor: pointer;">

在范畴论中,如果有一个箭头从 A 指向 B,又有一个箭头从 B 指向 C,那么就必定存在一个从 A 指向 C 的箭头,它是前两个箭头的复合。这幅图并非一个完整的范畴,因为它没有自态射(详见后文)。

当箭头作为函数的时候

现在你已经凌乱了么?不要绝望。现在来点实在的,将箭头想象为函数,虽然它的学名叫态射。你有一个函数 f,它接受一个 A 类型的值,返回一个 B 类型的值。你还有一个函数 g,它接受一个 B 类型的值,返回一个 C 类型的值。你可以将 f 的返回值传递给 g,这样就完成了这两个函数的复合,你得到的是一个新的函数,它接受一个 A 类型的值,返回一个 C 类型的值。

在数学中,这样的复合可以用一个小圆点连接两个函数来表示,即 g∘f. 注意,复合是从右向左发生的。有些人可能还是有点不理解。你可能熟悉 Unix 中的管道,例如

$ lsof | grep Chrome

也可能熟悉 F# 语言中的 >>,它们都是从左向右传递信息的。但是在数学与 Haskell 中,函数的复合是从右向左传递信息。如果你将 g∘f 读作 g after f 可能会有助于理解。

现在我们来写一些 C 代码。我们有一个函数 f,它接受 A 类型的参数值,返回一个 B 类型的值:

B f(A a);

还有一个

C g(B b);

那么这两个函数的复合,就是:

C g_after_f(A a)
{
    return g(f(a));
}

这次,你可以看到 C 中的从右向左的的复合:g(f(a))

我希望 C++ 标准库中存在一个模板,它能够接受两个函数然后返回它们的复合,但是可惜并没有这样的模板。所以我们只能试试 Haskell 了。下面是一个从 A 到 B 的函数的声明:

f :: A -> B

类似的还有

g :: B -> C

它们复合为:

g . f

一旦你见识到 Haskell 是这么的简单,就会觉得 C++ 在函数概念的直接表达方面显得有些无能了。Haskell 也支持使用 Unicode 字符来写函数的复合:

g ∘ f

也可以使用 Unicode 字符来写冒号与箭头:

fAB

这就是我们的 Haskell 第一课:两个冒号的意思是『类型为……』。一个函数的类型是由两个类型中间插入一个箭头而构成的。要对两个函数进行复合,只需在二者之间插入一个 .或者 Unicode 小圆圈)。

复合的性质

在任何范畴中,复合必须满足两个非常重要的性质:

1. 复合是可结合的(结合律)。如果你有三个态射,f,g 与 h,它们能够被复合(也就是它们的对象能够首尾相连),那么你就没必要在复合表达式中使用括号。在数学中,可表示为:

h∘(g∘f) = (h∘g)∘f = h∘g∘f

在 Haskell 伪代码(之所以说『伪』,是因为 Haskell 没有为函数的相等进行定义)中,可表示为:

f :: A -> B
g :: B -> C
h :: C -> D
h . (g . f) == (h . g) . f == h . g . f

对于函数的处理,结合律相当清晰,但是在其他范畴中可能就不这么清晰了。

2. 任一对象 A,都有一个箭头,它是复合的最小单位。这个箭头从对象出发又指向对象自身。作为复合的最小单位,意思是当它分别与任何从 A 开始或终止于 A 的箭头复合时,得到的依然是与后者相同的箭头。对象 A 的单位箭头称为 idA,意思是 identity on A,即 A 与自身恒等。在数学表示中,如果 f 从 A 到 B,那么就有

f∘idA = f

以及

idB∘f = f

在处理函数时,恒等箭头就是作为一个恒等函数实现的,这个函数的唯一工作就是直接返回它所接受的参数值。对于所有的类型,都可以这么实现恒等,这意味着这个函数是多态的。在 C++ 中,我们可以以模板的形式来定义它:

template<class T> T id(T x) { return x; }

当然,在 C++ 中,实际情况并非如此简单,因为你需要考虑要给这个函数传递什么以及如何传递(通过值,还是通过引用,还是通过常量引用,还是通过 move 语义等等)。

在 Haskell 中,恒等函数是标准库(即 PRelude)中的一部分,其定义如下:

id :: a -> a
id x = x

正如你所见,在 Haskell 中多态函数是小菜一碟,在其声明中,你只需要用一个具体的类型来替换掉类型变量即可。这就涉及到一个小把戏:具体的类型,名字总是以一个大写字母开头,而类型变量的名字总是以一个小写字母开头。在此,a 表示所有类型。

Haskell 函数的定义由尾随着形参的函数名构成,这里只有一个形参 x。函数体在 = 号之后。这种简洁扼要的风格经常令新手愕然,但你很快就会发现它的魅力所在。函数的定义与调用是函数式编程的面包与黄油,因此它们的语法被简化到了骨瘦如柴的境地。参数值列表不仅不需要括号,参数值之间也没有逗号(下文在定义多个参数的函数时,就可以看到这些)。

函数体总是由一个表达式构成,亦即函数中没有语句。一个函数的返回结果就是这个表达式本身——在此就是 x

这就是我们的 Haskell 第二课。

恒等条件可写为(还是伪 Haskell 代码):

f . id == f
id . f == f

可能你会问:为何需要这个什么也不做的恒等函数?其实你应该这样问,为什么需要数字 0?

0 是一个表示无的符号。古罗马人有一个没有 0 的数字系统,他们能够修建出色的道路与水渠,有些直到今天还能用。

类似 0 这样的东西,在处理符号变量的时候特别有用。这就是罗马人不擅长代数学的原因,而阿拉伯人与波斯人因为熟悉 0 的概念,因此他们能够很好的掌握代数学。当恒等函数作为高阶函数的参数值或返回值时,它的价值就会得以体现。高阶函数能够像处理符号那样处理函数,它们是函数的代数。

总结一下:一个范畴由对象与箭头(态射)构成。箭头可以复合,这种复合满足结合律。每个对象都有一个恒等箭头,它是箭头复合的基本单位。

复合是编程的本质

函数式程序员在洞察问题方面会遵循一个奇特的路线。他们首先会问一些似有禅机的问题。例如,在设计一个交互式程序时,他们会问:什么是交互?在实现基于元胞自动机的生命游戏时,他们可能又去沉思生命的意义。秉持这种精神,我将要问:什么是编程?在最基本的层面,编程就是告诉计算机去做什么,例如『从内存地址 x 处获取内容,然后将它与寄存器 EAX 中的内容相加』。但是即使我们使用汇编语言去编程,我们向计算机提供的指令也是某种有意义的表达式。假设我们正在解一个难题(如果它不难,就没必要用计算机了),那么我们是如何求解问题的?我们把大问题分解为更小的问题。如果更小的问题还是还是很大,我们再继续进行分解,以此类推。最后,我们写出求解这些小问题的代码,然后就出现了编程的本质:我么将这些代码片段复合起来,从而产生大问题的解。如果我们不能将代码片段整合起来并还原回去,那么问题的分解就毫无意义。

层次化分解与重新复合的过程,并非是受计算机的限制而产生,它反映的是人类思维的局限性。我们的大脑一次只能处理很少的概念。生物学中被广为引用的一篇论文指出我们我们的大脑中只能保存 7± 2 个信息块。我们对人类短期记忆的认识可能会有变化,但是可以肯定的是它是有限的。底线就是我们不能处理一大堆乱糟糟的对象或像兰州拉面似的代码。我们需要结构化并非是因为结构化的程序看上去有多么美好,而是我们的大脑无法有效的处理非结构化的东西。我们经常说一些代码片段是优雅的或美观的,实际上那只意味着它们更容易被人类有限的思维所处理。优雅的代码创造出尺度合理的代码块,它正好与我们的『心智消化系统』能够吸收的数量相符。

那么,对于程序的复合而言,正确的代码块是怎样的?它们的表面积必须要比它们的体积增长的更为缓慢。我喜欢这个比喻,因为几何对象的表面积是以尺寸平方的速度增长的,而体积是以尺寸的立方的速度增长的,因此表面积的增长速度小于体积。代码块的表面积是是我们复合代码块时所需要的信息。代码块的体积是我们为了实现它们所需要的信息。一旦代码块的实现过程结束,我们就可以忘掉它的实现细节,只关心它与其他代码块的相互影响。在面向对象编程中,类或接口的声明就是表面。在函数式编程中,函数的声明就是表面。我把事情简化了一些,但是要点就是这些。

在积极阻碍我们探视对象的内部方面,范畴论具有非凡的意义。范畴论中的一个对象,像一个星。对于它,你所知的只是它与其他对象之间的关系,亦即它与其他对象相连接的箭头。这就是 internet 搜索引擎对网站进行排名时所用的策略,它只分析输入与输出的链接(除非它受欺骗)。在面向对象编程中,一个理想的对象应该是只暴露它的抽象接口(纯表面,无体积),其方法则扮演箭头的角色。如果为了理解一个对象如何与其他对象进行复合,当你发现不得不深入挖掘对象的实现之时,此时你所用的编程范式的原本优势就荡然无存了。

挑战

  1. 用你最喜欢的语言(如果你最喜欢的是 Haskell,那么用你第二喜欢的语言)尽力实现一个恒等函数。

  2. 用你最喜欢的语言实现函数的复合,它接受两个函数作为参数值,返回一个它们的复合函数。

  3. 写一个程序,测试你写的可以复合函数的函数是否能支持恒等函数。

  4. 互联网是范畴吗?链接是态射吗?

  5. 脸书是一个以人为对象,以朋友关系为态射的范畴吗?

  6. 一个有向图,在什么情况下是一个范畴?

下一篇 -> 类型与函数

脚本宝典总结

以上是脚本宝典为你收集整理的<译> 范畴:复合的本质全部内容,希望文章能够帮你解决<译> 范畴:复合的本质所遇到的问题。

如果觉得脚本宝典网站内容还不错,欢迎将脚本宝典推荐好友。

本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ:384754419,请注明来意。