Я пытаюсь определить монаду Читателя с scalaz как это:
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)
^
Почему это?
Спасибо, Levi
Эта ошибка довольно непрозрачна даже по стандартам 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]
}
}