На прошлой неделе я пытался понять некоторые из «основных» типов и классов типов Haskell (но в общей сложности изучаю Haskell не более двух недель) и обнаружил кое-что, что меня беспокоит: «Полугруппоид» - это обобщение «Категории», означающее,...

Полугруппа должна быть ассоциативной, но я мог бы определить 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 , который не является...