2010-12-04 3 views

답변

16

scalaz.Monad과 관련된 유형 클래스 패밀리는 방대한 유형의 배열에서 공통된 일부 기능을 추상화합니다. Scalaz는 에 대해 작동하는 범용 함수를 제공합니다.Monad; 동일한 방식으로 고유 한 기능을 작성할 수 있습니다.

이 추상화가 없으면 새로운 모나 딕 유형마다 이러한 함수를 작성해야합니다. List, Parser, Option. 이것은 지루해진다!

다음은 몇 가지 모범 유형으로 작업하는 몇 가지 기능의 예입니다. 내가 좋아하는 것은 sequence :

scala> 1.pure[Option].pure[Option] 
res1: Option[Option[Int]] = Some(Some(1)) 

scala> res1.join 
res2: Option[Int] = Some(1) 

scala> List(1.some, 2.some).sequence 
res3: Option[List[Int]] = Some(List(1, 2)) 

scala> List(1.some, none[Int]).sequence 
res4: Option[List[Int]] = None 

scala> List(1.pure[Function0])  
res5: List[() => Int] = List(<function0>) 

scala> res5.sequence 
res6:() => List[Int] = <function0> 

scala> res6() 
res7: List[Int] = List(1) 

scala> true.some ifM(none[Int], 1.some) 
res8: Option[Int] = None 

scala> false.some ifM(none[Int], 1.some) 
res9: Option[Int] = Some(1)