内容简介：翻译自：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中的长度单位
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
Beginning Google Maps API 3
Gabriel Svennerberg / Apress / 2010-07-27 / $39.99
This book is about the next generation of the Google Maps API. It will provide the reader with the skills and knowledge necessary to incorporate Google Maps v3 on web pages in both desktop and mobile ......一起来看看 《Beginning Google Maps API 3》 这本书的介绍吧!
