Foldl 是否比它严格的表亲 Foldl' 更好?
Haskell 有两个列表左折叠函数:foldl 和一个“严格”版本 foldl'。非严格的 foldl 的问题在于它构建了一个 thunk 塔: foldl (+) 0 [1..5] --> ((((0…
是运算符 && Haskell 严格吗?
例如,我有一个操作 fnB :: a -> Bool 在 fnA :: Bool 返回 False 之前没有任何意义。在 CI 中,可以将这两个操作组合在一个 if 块中: if( fnA && fn…
为什么 map 不强制严格,而 zipWith 却强制严格?
zipWith 函数有两个严格版本: 1)真正严格,列表 l1 和 l2 的元素被评估,因此它们的 thunk 不会占用所有堆栈空间(Don Stewart 代码) zipWith' f l…
如何在haskell中使表(Data.Map)严格?
为了学习 Haskell(很好的语言),我正在尝试 Spoj 中的问题。 我有一个包含 19000 个元素的表,这些元素在编译时都是已知的。 如何使表格严格限制“s…
未装箱类型和严格性之间有什么关系?
未装箱的类型(例如 Int#)和严格函数(例如 f (!x) = ...)是不同的,但我看到概念上的相似性 - 它们不允许 thunks/在某种程度上的懒惰。如果 Haskel…
- 共 1 页
- 1