Добавление оператора монадического связывания Хаскелла в Scala - PullRequest
Новая
       14

Добавление оператора монадического связывания Хаскелла в Scala

12 голосов
/ 25 марта 2011

В Haskell вы можете использовать оператор связывания (>>=) следующим образом: 

repli :: [a] -> [a]
repli xs = xs >>= \x -> [x,x]

*Main> repli [1,2,3]
[1,1,2,2,3,3]

Я читал, что flatMap это оператор связывания Scala: 

def repli [A](xs: List[A]): List[A] =
  xs.flatMap { x => List(x,x) }

scala> repli (List(1,2,3))
res0: List[Int] = List(1, 1, 2, 2, 3, 3)

В качестве педагогического упражнения я пытаюсь добавить поддержку для >>= в Scala: 

class MyList[T](list: List[T]) {
  def >>= [U](f: T => List[U]): List[U] = list.flatMap(f)
}
implicit def list2mylist[T](list: List[T]) = new MyList(list)

def repliNew [A](xs: List[A]): List[A] =
  xs >>= { x: A => List(x,x) }

scala> repliNew (List(1,2,3))
res1: List[Int] = List(1, 1, 2, 2, 3, 3)

Это отлично работает, но только для списков. Я действительно хочу поддержать любой класс методом flatMap. Какой лучший способ пойти по этому поводу?

Ответы [ 2 ]

16 голосов
/ 25 марта 2011

Scalaz делает это следующим образом: 

trait MA[M[_], A] {
  def value: M[A]
  def >>=(f: A => M[B])(implicit m: Monad[M]): M[B] =
    m.bind(value, f)
}

С неявными преобразованиями из M[A] в MA[M, A] для всех M[_] и A: 

implicit def ma[M[_], A](m: => M[A]): MA[M, A] = new MA[M, A] {
  lazy val value = m
}

Вам просто нужна черта Monad и ее экземпляр для каждой монады, которая вам нужна: 

trait Monad[M[_]] {
  def pure[A](a: => A): M[A]
  def bind[A, B](m: M[A], f: A => M[B]): M[B]
}
5 голосов
/ 20 сентября 2013

Как насчет добавления синонима для flatMap с неявным классом? 

implicit class BindRich[A,B](fm:{def flatMap(a:A):B}) {
  def >>=(a:A):B = fm.flatMap(a)
}

При этом в области действия любой объект, имеющий метод flatMap, также будет иметь >>=.

...