劇集
C9 演講：Erik Meijer - 功能程式設計基本概念第 6 章/第 13 章
在 第 6 章中，Dr. Meijer 會引導我們完成 遞迴函式的世界。 在 Haskell 中，函式可以 自行定義。 這類函式稱為遞迴。
例如：
factorial 0 = 1
factorial (n+1) = (n+1) * factorial n
factorial 會將 0 對應至 1，並將任何其他正整數對應至本身的乘積及其前置項的乘積。
某些函式，例如因數，在其他函式中定義會比較簡單。 不過，如我們所見，許多函式本身可以自然定義。
使用遞迴定義的函式屬性，可以使用簡單但功能強大的數學技術來證明。
您應該依序watch這些 (或略過，視您在此領域中的知識層級而定) ：
在 第 6 章中，Dr. Meijer 會引導我們完成 遞迴函式的世界。 在 Haskell 中，函式可以 自行定義。 這類函式稱為遞迴。
例如：
factorial 0 = 1
factorial (n+1) = (n+1) * factorial n
factorial 會將 0 對應至 1，並將任何其他正整數對應至本身的乘積及其前置項的乘積。
某些函式，例如因數，在其他函式中定義會比較簡單。 不過，如我們所見，許多函式本身可以自然定義。
使用遞迴定義的函式屬性，可以使用簡單但功能強大的數學技術來證明。
您應該依序watch這些 (或略過，視您在此領域中的知識層級而定) ：
影片 URL
HTML iframe
有任何意見嗎？ 請在此提交問題。