使用术语＆＃34; over＆＃34;在谈论操作时

Question

这是一个使用术语＆＃34; over ＆＃34;当谈论一个类型和一个操作时： -

  

＆＃34; monoid是一种类型，还有一个关联的二进制操作 over 它... ＆＃34;

我的问题不是关于幺半群 - 我不太明白的是使用术语＆＃34; over ＆＃34;。

这是数学吗？ 这是否意味着操作对类型本身定义的数据起作用 - 而不是我们可能从该类型的实例外部传递给它的任何数据？

Answer 1

是的，它来自数学。 在Math和FP中，与OOP不同，数据结构的定义与在此结构上运行的函数无关。 因此，在同一数据类型上进行许多不同的操作很容易。例如，在整数上使用Sum monoid和在整数上使用乘法monoid。