内容简介：翻译自：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中的长度单位
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
大数据时代的算法：机器学习、人工智能及其典型实例
刘凡平 / 电子工业出版社 / 2017-1 / 49
《大数据时代的算法：机器学习、人工智能及其典型实例》介绍在互联网行业中经常涉及的算法，包括排序算法、查找算法、资源分配算法、路径分析算法、相似度分析算法，以及与机器学习相关的算法，包括数据分类算法、聚类算法、预测与估算算法、决策算法、关联规则分析算法及推荐算法。《大数据时代的算法：机器学习、人工智能及其典型实例》涉及的相关算法均为解决实际问题中的主流算法，对于工作和学习都有实际参考意义。 《......一起来看看 《大数据时代的算法：机器学习、人工智能及其典型实例》 这本书的介绍吧!
