劇集
C9 講座：Erik Meijer 博士 - 功能性程式設計基本概念第 6 章 13
在第 6 章中，Meijer 博士引導我們完成遞迴函式 的世界 。 在 Haskell 中，函式可以自行 定義 。 這類函式稱為遞迴。
例如：
factorial 0 = 1
factorial （n+1） = （n+1） * factorial n
factorial 會將 0 對應至 1，而任何其他正整數則對應至本身的乘積和其前置乘積。
某些函式，例如因數，在其他函式上定義會比較簡單。 不過，如我們所見，許多函式自然可以自行定義。
使用遞迴定義的函式屬性可以使用簡單但功能強大的歸納數學技術來證明。
您應該依序觀看這些內容（或根據您在此領域知識的 Curent 層級而略過）：
第 1 章第 2 章第 3 章 第 4 章 第 5 章 6 第 7 章 8 第 9 章 第 10 章 第 11 章 第 12 章 13
在第 6 章中，Meijer 博士引導我們完成遞迴函式 的世界 。 在 Haskell 中，函式可以自行 定義 。 這類函式稱為遞迴。
例如：
factorial 0 = 1
factorial （n+1） = （n+1） * factorial n
factorial 會將 0 對應至 1，而任何其他正整數則對應至本身的乘積和其前置乘積。
某些函式，例如因數，在其他函式上定義會比較簡單。 不過，如我們所見，許多函式自然可以自行定義。
使用遞迴定義的函式屬性可以使用簡單但功能強大的歸納數學技術來證明。
您應該依序觀看這些內容（或根據您在此領域知識的 Curent 層級而略過）：
第 1 章第 2 章第 3 章 第 4 章 第 5 章 6 第 7 章 8 第 9 章 第 10 章 第 11 章 第 12 章 13
有任何意見嗎？ 請在此提交問題。