为什么作者声称这个函数调用不是递归调用？
Lay*_*lez 1 monads haskell state-monad
作者声称下一次调用不是递归调用,但我不明白为什么.
资料来源:http://courses.cms.caltech.edu/cs11/material/haskell/lectures/haskell_lecture_5.pdf
代码是递归的(它是根据自身定义的).我相信@ leftroundabout关于强调功能的想法是准确的.下一张幻灯片说
do putY (y - x)
gcdST
是
Recursive data definition
* not recursive function call
* like ones = 1 : ones
即没有递归函数调用,因为gdcST它不是一个函数(它不需要参数!).这是一个递归数据定义.
- @LayGonzález不,这不是一个功能 - 它不需要争论.在Haskell中,值仅在其类型中具有" - >"时才起作用.并且,就像幻灯片所说,没有"呼唤" - 因为没有功能.它只执行与'ones = 1:ones`中第二次出现的'ones`执行产生列表的计算相同的计算.它确实评估了一个值,这是正确的. (2认同)