equational-reasoning

equational-reasoning

文章 0 浏览 3

Haskell:方程扩展器 1+(1+(1+(1+(…))))=∞

Haskell 是否存在方程扩展器? 类似 foldr.com 的内容:1+(1+(1+(1+(…))) )=∞ 我是 Haskell 的新手,我无法理解为什么某些方程比其他方程更可取。我…

与酒说心事 2024-10-07 09:15:39 12 0

我是否使用合理的等式推理来根据foldr 定义过滤器?

好吧,这是使用foldr的过滤器函数的定义: myFilter p xs = foldr step [] xs where step x ys | p x = x : ys | otherwise = ys 所以举例来说,假设…

别把无礼当个性 2024-08-20 08:09:05 11 0
更多

推荐作者

5397313

文章 0 评论 0

烟沫凡尘

文章 0 评论 0

一个破名字

文章 0 评论 0

萌︼了一个春

文章 0 评论 0

当爱已成负担

文章 0 评论 0

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文