옵션 [Monoid [T]] 매퍼드 작업을 처리하는 좋은 방법이 있습니까? I는 모노 이드 [T]를 가지고 있다면

Question

제로와 mappend을 가지고 있다는 것이 각각

implicit myMonoid: Monoid[T] = ... 

val x: T = thing() 
val y: Option[T] = none[T] 
val z: Option[T] = Some(value) 

val a: T = x.mappend(y) 
val b: T = x.mappend(z) 

val i: T = y.mappend(x) 
val j: T = z.mappend(x) 

A의

및 B의 결과가 ID 및 x.mappend (z.get)되어야한다고 논리적 저 보인다 . i와 j도 마찬가지입니다. 이 표현하는 기존의 구조가 있습니까

def combine(a: Option[T], b: Option[T]) = { 
    a match { 
     case None => b 
     case Some(x) => x |+| b.getOrElse(myMonoid.zero) 
    } 
} 

, 또는이 수학적으로 올바르지 않습니다

는 내가 지금 가지고하는 것 같습니다? 내가 틀리지 않는 경우

Answer 1

는

def combine[T: Monoid](a: Option[T], b: Option[T]) = a |+| b 

작동합니다 간단 Option위한 모노 이드가 있어야한다.