Читатель Монада со Скалазом - PullRequest
Новая
       12

Читатель Монада со Скалазом

8 голосов
/ 19 июля 2010

Я пытаюсь определить монаду Reader с помощью скаляза следующим образом: 

import scalaz._
import Scalaz._

final class Reader[E,A](private[Reader] val runReader: E => A)

object Reader {
  def apply[E,A](f: E => A) = new Reader[E,A](f)
  def env[E]: Reader[E,E] = Reader(identity _)

  implicit def ReaderMonad[E] = new Monad[PartialApply1Of2[Reader,E]#Apply] {
    def pure[A](a: => A) = Reader(_ => a)

    def bind[A,B](m: Reader[E,A], k: A => Reader[E,B]) =
      Reader(e => k(m.runReader(e)).runReader(e))
  }
}


object Test {
  import Reader._

  class Env(val s: String)

  def post(s: String): Reader[Env, Option[String]] =
    env >>= (e => if (e.s == s) some(s).pure else none.pure)
}

, но получаю ошибку компилятора: 

reader.scala:27: reassignment to val
     env >>= (e => if (e.s == s) some(s).pure else none.pure)
         ^

Почему это так?

Спасибо, Леви

1 Ответ

16 голосов
/ 20 июля 2010

Эта ошибка довольно непрозрачна, даже по стандартам Scala.Имена методов, оканчивающиеся на =, обрабатываются особым образом - они сначала рассматриваются как нормальный идентификатор, и в противном случае они расширяются до самостоятельного присваивания. 

scala> def env[A] = 0
env: [A]Int

scala> env >>= 0
<console>:7: error: reassignment to val
       env >>= 0
           ^

scala> env = env >> 0
<console>:6: error: reassignment to val
       env = env >> 0
           ^

Если вы не понимаете синтаксическийинтерпретация вашей программы, это хорошая идея, чтобы запустить scalac -Xprint:parser, чтобы увидеть, что происходит.Точно так же вы можете использовать -Xprint:typer или -Xprint:jvm, чтобы увидеть более поздние фазы преобразования программы.

Итак, как вы называете >>= на вашем Reader?Прежде всего, вам нужно явно передать аргумент типа Env в env.Полученный Reader[Env, Env] должен быть затем преобразован в MA[M[_], A].Для конструкторов простых типов будет достаточно неявного преобразования MAs#ma.Однако конструктор двухпараметрического типа Reader должен быть применен частично - это означает, что он не может быть выведен, и вместо этого вы должны предоставить конкретное неявное преобразование.

Ситуация будет значительно улучшена, если Адриан найдетзапасной день для реализации унификации высшего порядка для вывода конструктора типа .:)

А пока вот ваш код.Еще несколько комментариев встроены. 

import scalaz._
import Scalaz._

final class Reader[E, A](private[Reader] val runReader: E => A)

object Reader {
  def apply[E, A](f: E => A) = new Reader[E, A](f)

  def env[E]: Reader[E, E] = Reader(identity _)

  implicit def ReaderMonad[E]: Monad[PartialApply1Of2[Reader, E]#Apply] = new Monad[PartialApply1Of2[Reader, E]#Apply] {
    def pure[A](a: => A) = Reader(_ => a)

    def bind[A, B](m: Reader[E, A], k: A => Reader[E, B]) =
      Reader(e => k(m.runReader(e)).runReader(e))
  }

  // No Higher Order Unification in Scala, so we need partially applied type constructors cannot be inferred.
  // That's the main reason for defining function in Scalaz on MA, we can create one implicit conversion
  // to extract the partially applied type constructor in the type parameter `M` of `MA[M[_], A]`.
  //
  // I'm in the habit of explicitly annotating the return types of implicit defs, it's not strictly necessary
  // but there are a few corner cases it pays to avoid.
  implicit def ReaderMA[E, A](r: Reader[E, A]): MA[PartialApply1Of2[Reader, E]#Apply, A] = ma[PartialApply1Of2[Reader, E]#Apply, A](r)
}


object Test {
  import Reader._

  class Env(val s: String)

  def post(s: String): Reader[Env, Option[String]] =
    // Need to pass the type arg `Env` explicitly here.
    env[Env] >>= {e =>
      // Intermediate value and type annotation not needed, just here for clarity.
      val o: Option[String] = (e.s === s).guard[Option](s)
      // Again, the partially applied type constructor can't be inferred, so we have to explicitly pass it.
      o.pure[PartialApply1Of2[Reader, Env]#Apply]
    }
}
...