rasgo Monad en Scala

Question

(¿Cómo) es posible representar mónadas en Scala de una manera genérica (como la clase de tipo Monad en Haskell)? ¿Es de alguna manera posible definir un trait Monad para este propósito?

Answer 1

usted podría intentar algo como esto:

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 
} 

Usted, por supuesto definir objetos implícitos similares para cualquier otra mónada que su corazón desea. En términos de Haskell, puede pensar en Monad como tipo de clase y MonadicOption como una instancia particular de esa clase de tipo. La conversión implícita monadicSyntax simplemente demuestra cómo se podría usar esta clase de tipos para permitir el uso de las for de Scala -comprehensiones con cualquier cosa que satisfaga la clase de tipo Monad.

En general, la mayoría de las cosas en la biblioteca estándar de Scala que implementan flatMap son mónadas. Scala no define una clase de tipo genérica Monad (aunque eso sería muy útil). En cambio, se basa en un truco sintáctico del analizador para permitir el uso de for -comprehensions con cualquier cosa que implemente los métodos apropiados. Específicamente, esos métodos son map, flatMap y filter (o foreach y filter para la forma imperativa).

Answer 2

Puede encontrar el proyecto scalaz interesante; tiene muchas otras cosas (funcionales) además de una implementación de mónadas.

Answer 3

Scala logra una potencia similar a las clases de tipos de Haskell a través del uso de parámetros implícitos, particularmente límites de vista y límites de contexto. Puede ver tales cosas en uso particularmente en Scala 2.8, con características como Ordering y Numeric.

Dicho esto, mire el proyecto Scalaz. Tiene mónadas, funcionadores, flechas ... todo el shebang.

Answer 4

Eche un vistazo a http://www.scala-lang.org/api/current/index.html#scala.collection.generic.FilterMonadic. Una clase caso ya está integrado en el lenguaje y se utiliza extensivamente a través de las colecciones ...

Answer 5

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

Aquí está un artículo útil y bastante largo sobre el patrón Mónada y su aplicación en la Scala de Daniel, que escribió el aceptada respuesta para esta pregunta

(Para los que se tropiezan con esta pregunta "antigua" a través de las formas místicas de sitio de búsqueda de StackOverflow.)