内容简介：翻译自：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
以上就是本文的全部内容，希望本文的内容对大家的学习或者工作能带来一定的帮助，也希望大家多多支持 码农网
猜你喜欢:
- mysql的length函数和char_length中文字符长度计算函数
- memcached对key和value的限制 memcached的key最大长度和Value最大长度
- protobuf可变长度原理
- Haskell长度图说明？
- perl – 截断stdin行长度？
- 聊一聊CSS中的长度单位
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
