Monada cecha w Scala

Question

(Jak) jest możliwe do reprezentowania monady w Scala w sposób ogólny (jak Monad typeclass w Haskell)? Czy w tym celu można w jakiś sposób zdefiniować trait Monad?

Answer 1

można spróbować coś takiego:

trait Monad[+M[_]] { 
    def unit[A](a: A): M[A] 
    def bind[A, B](m: M[A])(f: A => M[B]): M[B] 
} 

// probably only works in Scala 2.8 
implicit def monadicSyntax[M[_], A](m: M[A])(implicit tc: Monad[M]) = new { 
    private val bind = tc.bind(m) _ 

    def map[B](f: A => B) = bind(f compose tc.unit) 

    def flatMap[B](f: A => M[B]) = bind(f) 
} 

implicit object MonadicOption extends Monad[Option] { 
    def unit[A](a: A) = Some(a) 

    def bind[A, B](opt: Option[A])(f: A => Option[B]) = opt flatMap f 
} 

Można by oczywiście zdefiniować podobne obiekty ukryte na każdej innej monady dusza zapragnie. W kategoriach Haskella można myśleć o Monad, podobnie jak typeclass i MonadicOption, jako konkretnej instancji klasy tego typu. Domyślna konwersja po prostu pokazuje, w jaki sposób można wykorzystać tę klasę do umożliwienia korzystania z Scala's for - zrozumienia ze wszystkim, co jest zgodne z typograficzną czcionką Monad.

Ogólnie rzecz biorąc, większość rzeczy w bibliotece standardowej Scala, które wdrażają flatMap są monady. Scala nie definiuje ogólnej czcionki typowej Monad (choć byłoby to bardzo przydatne). Zamiast tego opiera się na sztuczce składniowej parsera, aby umożliwić użycie dowolnego z nich, co pozwala na implementację odpowiednich metod. W szczególności, sposoby te są map, flatMap i filter (lub foreach i filter dla formy koniecznym).

Answer 2

Możesz znaleźć interesujący projekt scalaz; ma wiele innych (funkcjonalnych) rzeczy, a także implementację monad.

Answer 3

Scala osiąga podobną moc do klas typu Haskell poprzez wykorzystanie parametrów ukrytych, szczególnie zobaczyć granice i granice kontekstu. Możesz zobaczyć takie rzeczy w użyciu, szczególnie na Scala 2.8, z cechami takimi jak Ordering i Numeric.

To powiedziawszy, należy spojrzeć na projekt Scalaz. Ma monady, funktory, strzały ... cały shebang.

Answer 4

Spójrz na http://www.scala-lang.org/api/current/index.html#scala.collection.generic.FilterMonadic. Przypadek klasa jest już wbudowana w języku i szeroko stosowane na całym kolekcyjce ...

Answer 5

http://www.codecommit.com/blog/ruby/monads-are-not-metaphors

Oto przydatne i dość długi artykuł o wzór Monad i jego realizacji w Scala przez Daniela, który napisał przyjętym odpowiedź na to pytanie.

(Dla tych, którzy potknie tej „starożytnego” kwestii poprzez mistyczne sposoby SITE-SEARCH Stackoverflow użytkownika).