内容简介：翻译自：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
以上就是本文的全部内容，希望本文的内容对大家的学习或者工作能带来一定的帮助，也希望大家多多支持 码农网
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
算法设计与应用
迈克尔 T. 古德里奇（Michael T. Goodrich）、罗伯特·塔马契亚（Roberto Tamas / 乔海燕、李悫炜、王烁程 / 机械工业出版社 / 2017-11-20 / CNY 139.00
本书全面系统地介绍算法设计和算法应用的各个领域，内容涵盖经典数据结构、经典算法、算法分析方法、算法设计方法以及算法在各个领域的应用，还包含一些高级主题。本书采用应用驱动的方法引入各章内容，内容编排清晰合理，讲解由浅入深。此外，各章都附有巩固练习、创新练习和应用练习三种类型的题目，为读者理解和掌握算法设计和应用提供了很好的素材。 本书可作为高等院校计算机及相关专业“数据结构和算法”课程的本科生......一起来看看 《算法设计与应用》 这本书的介绍吧!
