为什么 Float 不是 Monoid 类型 class 的实例？

Question

我的问题是，为什么 Float 不容易定义为 Monoid 类型的实例 class？ 我的意思是什么反对它？ Floats 没有 身份元素 如果没有，为什么？此外，操作 (*) 和 (+) 在浮点集中是关联的，或者 ?

Answer 1

你说的是哪个幺半群？和？产品？

这些已经可用 newtype Sum 或 Product 包装类型。但是你是正确的，加法和乘法与浮点数不相关。然而，这是一个不同的问题。问题是默认情况下没有明显的 "correct" 幺半群可供选择。