2,443
个编辑
更改
跳到导航
跳到搜索
第197行：
第197行： − + 第205行：
第205行： − + − | last = Felleisen − | first = Matthias − | chapter = Developing Interactive Web Programs |chapterurl=https://books.google.com/books?id=Y3GqCAAAQBAJ&pg=PA108 − | date = 2002 − | title = Advanced Functional Programming: 4th International School − | editor-last = Jeuring − | editor-first = Johan − | volume = − | page = 108 − | publisher = Springer − | isbn = 9783540448334 − | url = ftp://nozdr.ru/biblio/kolxo3/Cs/CsLn/Advanced%20Functional%20Programming%204%20conf.,%20AFP%202002%20(LNCS2638,%20Springer,%202003)(ISBN%203540401326)(O)(222s).pdf#page=109 − }} −
→结构递归与生成递归
''消耗结构化数据的函数通常会将其参数分解为其直接的结构组件，然后对这些组件进行处理。如果其中一个直接组件与输入的数据属于同一类数据，那么这个函数就是递归的。出于这个原因，我们将这些函数称为结构递归函数。
''消耗结构化数据的函数通常会将其参数分解为其直接的结构组件，然后对这些组件进行处理。如果其中一个直接组件与输入的数据属于同一类数据，那么这个函数就是递归的。出于这个原因，我们将这些函数称为结构递归函数。
——————Felleisen, Findler, Flatt, and Krishnaurthi, How to Design Programs, 2001''<ref name="Felleisen HtDP 2001">harvnb|Felleisen|Findler|Flatt|Krishnamurthi|2001|loc= [http://www.htdp.org/2003-09-26/Book/curriculum-Z-H-31.html art V "Generative Recursion]
——————Felleisen, Findler, Flatt, and Krishnaurthi, How to Design Programs, 2001''<ref name="Felleisen HtDP 2001">[http://www.htdp.org/2003-09-26/Book/curriculum-Z-H-31.html art V "Generative Recursion]
</ref>
</ref>
生成递归是替代方法：
生成递归是替代方法：
''许多著名的递归算法都是从给定的数据中生成一个全新的数据，并对其进行递归。HtDP（How to Design Programs）把这种称为生成式递归。生成递归的例子包括：最大公约数、快速排序、二进制搜索、归并排序、牛顿法、分形和自适应集成。
''许多著名的递归算法都是从给定的数据中生成一个全新的数据，并对其进行递归。HtDP（How to Design Programs）把这种称为生成式递归。生成递归的例子包括：最大公约数、快速排序、二进制搜索、归并排序、牛顿法、分形和自适应集成。
——————Matthias Felleisen, Advanced Functional Programming, 2002'' <ref name="Felleisen 2002 108">{{Cite book
——————Matthias Felleisen, Advanced Functional Programming, 2002'' <ref name="Felleisen 2002 108">Felleisen, Matthias (2002). "Developing Interactive Web Programs". In Jeuring, Johan (ed.). Advanced Functional Programming: 4th International School (PDF). Springer. p. 108. ISBN 9783540448334.</ref>
</ref>