equational-reasoning

equational-reasoning

文章 0 浏览 1

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

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

与酒说心事 2024-10-07 09:15:39 1 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 2 0
更多

推荐作者

不再见

文章 0 评论 0

真是无聊啊

文章 0 评论 0

樱娆

文章 0 评论 0

浅语花开

文章 0 评论 0

烛光

文章 0 评论 0

绻影浮沉

文章 0 评论 0

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