来自Hackage的'代数'包的可交换monoid
代数/2.1.1.2/doc/html 显示了种类繁多的类型类. 我如何声明所讨论的结构必须配备可交换的关联操作和单位/身份元素，但没有其他条件(逆，分布等)? 我在想 reduce :: Monoid m => (a -> m) -> [a] -> m 但是Data.Monoid的实例不应该是可交换的，我希望函数的用户可以通过查看类型来了解他们需要函数的交换性. 解决
..
abstract-algebra相关内容
R中的运算符重载和类定义:使用其他基础字段/语料库
((我在数学意义上使用了“字段"一词 ； R已经使用的基本字段/语料库包括实数和复数.) 我有兴趣允许其他一些基本字段/语料库(例如F₅，它是基数5中的模块化算术).为此，我需要 定义新的数据类型 重载相关运算符(+，*，也许还有更多) 也许还有别的吗?例如，是否与其他功能集成? 那么，如何在R中定义新的数据类型或重载运算符? 解决方案 我发现Hadley Wickh
..