内容简介：翻译自：https://stackoverflow.com/questions/2777686/how-do-i-write-a-constant-space-length-function-in-haskell
长度:: [a] – >的规范实现Int是：
length [] = 0 length (x:xs) = 1 + length xs
这是非常漂亮但由于使用线性空间而遭受堆栈溢出.
尾递归版：
length xs = length' xs 0
where length' [] n = n
length' (x:xs) n = length xs (n + 1)
没有遇到这个问题,但我不明白这是如何在惰性语言中以恒定的空间运行的.
运行时是否在运行列表时累积了大量(n 1)个thunks？不应该这个函数Haskell消耗O(n)空间并导致堆栈溢出？
(如果重要的话,我正在使用GHC)
是的,你遇到了累积参数的常见陷阱.通常的做法是对累积参数进行严格评估;为此我喜欢严格的应用程序运算符$！.如果你不强制严格,GHC的优化器可能会认为这个函数是严格的,但它可能不是.肯定不是依赖它 – 有时你想要一个累积的参数来懒惰地评估和O(N)空间就好了,谢谢.
How do I write a constant-space length function in Haskell?
如上所述,使用严格的应用程序运算符强制评估累积参数：
clength xs = length' xs 0
where length' [] n = n
length' (x:xs) n = length' xs $! (n + 1)
$的类型！是(a – > b) – > a – > b,它强制在应用函数之前评估a.
翻译自：https://stackoverflow.com/questions/2777686/how-do-i-write-a-constant-space-length-function-in-haskell
以上就是本文的全部内容，希望本文的内容对大家的学习或者工作能带来一定的帮助，也希望大家多多支持 码农网
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
着陆页：获取网络订单的关键
谢松杰 / 电子工业出版社 / 2017-1-1 / CNY 55.00
着陆页是用户点击广告后看到的第一个页面，是相关产品和服务的商业模式与营销思想的载体，是实现客户转化的关键。本书从“宏观”和“微观”两个层面对着陆页的整体框架和局部细节进行了深入的讨论，既有理论和方法，又有技术与工具，为读者呈现了着陆页从策划到技术实现的完整知识体系，帮助读者用最低的成本实现网站最高的收益。 谢松杰老师作品《网站说服力》版权输出台湾，深受两岸读者喜爱。本书是《网站说服力》的姊妹......一起来看看 《着陆页：获取网络订单的关键》 这本书的介绍吧!
