剧集

C9 讲座:Erik Meijer 博士 - 函数编程基础知识第 6 章(共 13 章)

6章,梅耶博士引导我们完成递归函数的世界。 在 Haskell 中,可以根据自身定义函数。 此类函数称为递归函数。

例如:

factorial 0 = 1
factorial (n+1) = (n+1) * factorial n

因子映射到 0 到 1,将任何其他正整数映射到其自身的乘积及其前身的阶乘。

某些函数(如因子)更易于在其他函数中定义。 然而,正如我们所看到的,许多函数本身自然可以定义。

使用递归定义的函数的属性可以使用简单而强大的感应数学技术来证明。

应按顺序观看这些内容(或根据在此域中的知识的 curent 级别跳过):

第 1章 2 第 3章 4 第 5 章 6第 7章 8第 9章 10章 11章 12章 13

Haskell