gpt4 book ai didi

haskell - 来自 Hackage 上 'algebra' 包的可交换幺半群

转载 作者:行者123 更新时间:2023-12-04 14:16:01 25 4
gpt4 key购买 nike

algebra/2.1.1.2/doc/html 的文档显示了大量的类型类。

我如何声明一个有问题的结构必须配备一个交换关联运算和一个单位/恒等元素,但没有其他任何东西(逆、分布等)?

我在想

reduce :: Monoid m => (a -> m) -> [a] -> m

但是 Data.Monoid 的实例不应该是可交换的,我希望我的函数的用户通过查看类型来看到他们需要可交换性才能使函数工作。

最佳答案

(Abelian m, Monoidal m)
似乎 Monoidal比你想要的要多得多,但这一切都基于Natural成为 Semiring .

关于haskell - 来自 Hackage 上 'algebra' 包的可交换幺半群,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/12289746/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com