劇集

C9 演講:Dr. Erik Meijer - 功能程式設計基本概念第 6 章 13

第 6 章中,Dr. Meijer 會引導我們完成 遞迴函式的世界。 在 Haskell 中,函式可以 自行定義。 這類函式稱為遞迴。

例如:

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

factorial 會將 0 對應至 1,並將任何其他正整數對應至本身的乘積及其前置項的乘積。

某些函式,例如分解函式,在其他函式方面定義會比較簡單。 不過,如我們所見,許多函式可以自行定義。

使用遞迴定義的函式屬性可以使用簡單但功能強大的數學技術來證明。

您應該依循序 (或略過這些內容,視您在此領域中的知識層級而定) :

Chapter 1Chapter 2 Chapter3 Chapter 4 Chapter 5 Chapter 6 Chapter 7 Chapter 8 Chapter 9Chapter 10Chapter 11 Chapter 12 Chapter13