在scala中要求半群是可结合的

Question

半组必须是结合性的，但我可以像这样定义Semigroup：

trait Semigroup[T] {
  def op(t1:T, t2:T) : T
}

def plus = new Semigroup[Int] { def op(t1:Int, t2:Int) = t1 - t2 }

我能够实现非关联的plus，但是这个类仍然是一个Semigroup。是否有针对这种情况的保障措施，或者用户是否希望依靠测试来防止这种情况？

Answer 1

不会有编译异常，因为关联性属性不存在。换句话说，它取决于你来确保它被正确实现。

但是如果您使用cats，您可以使用定律来确保在cats中定义的半群和其他结构所需的所有属性。看一看documentation。您可以创建一个测试来检查您定义的半组是否正常：

class TreeLawTests extends AnyFunSuite with Discipline {
  checkAll("YourSemigroup[YourType].SemigroupLaws", SemigroupTests[YourSemigroup[YourType]].semigroup)
}