Scala 中的 Reader monad：返回、本地和序列

我正在使用ReaderScala 中的 monad 由scalaz https://github.com/scalaz/scalaz图书馆。我对这个单子很熟悉正如 Haskell 中定义的 https://wiki.haskell.org/All_About_Monads#The_Reader_monad。问题是我找不到相当于的功能return, local, and sequence（除其他外）。

目前我使用的结构是我不喜欢的，因为我在重复自己或者让我的代码有点晦涩。

关于return，我目前正在使用：

Reader{_ => someValue}

我宁愿只使用像这样的构造unit(someValue)，但我在互联网上找不到任何东西。有类似的教程this one http://blog.originate.com/blog/2013/10/21/reader-monad-for-dependency-injection/使用上述方法，我认为这不是最佳方法。

关于local我还必须做类似的事情：而不是输入类似的内容：local f myReader我必须展开它的定义：

Reader{env => myReader.run(f(env))

最后，序列有点接近我的预期（作为一个使用 Scala 的 Haskell 难民）：

readers: List[Reader[Env, T]]
readerTs: Reader[Env, List[T]] = readers.sequenceU

我对这个实现的问题是，对于 Scala 来说相对较新，sequenceU

final class TraverseOps[F[_],A] private[syntax](val self: F[A])(implicit val F: Traverse[F]) extends Ops[F[A]] {
    //...
    def sequenceU(implicit G: Unapply[Applicative, A]): G.M[F[G.A]]

看起来相当晦涩难懂，看起来就像黑魔法。理想情况下我想使用sequence对 Monad 的操作。

scalaz 或类似库上是否有更好的将这些结构翻译为 Scala 的方法？我没有与任何 Scala 函数库结婚，因此任何使用其他库的解决方案都可以，尽管我宁愿使用 scalaz 得到答案，因为我已经使用它实现了我的代码。

为了让事情变得简单，我填写了一些类型。将它们更改为具有泛型类型的 def 应该仍然有效。 我还提取了ReaderInttype，以避免与 lambda 类型混淆。

返回/纯/点

Scala 没有自动类型类解析，因此您需要隐式提供它们。为了Kleisli（作为读者的 monad 转换器），Kleisli[Id, ?, ?]足够

 implicit val KA = scalaz.Kleisli.kleisliIdApplicative[Int]
 type ReaderInt[A] = Kleisli[Id.Id, Int, A]

 val alwaysHello = KA.point("hello")  

或使用导入的语法：

  import scalaz.syntax.applicative._  
  val alwaysHello = "hello".point[ReaderInt]

所以作为一般规则，你

1）导入应用实例，通常位于scalaz.std.something.somethingInstance

2) import scalaz.syntax.something._

3）然后你可以写x.point[F], where F是你的应用。

local

不确定它是否回答了你的问题，但是Kleisli has a local method.

val f: String ⇒ Int = _.length
val alwaysEleven = alwaysHello local f

测序

同样的，你可以自由选择使用syntaxfor 或 显式指定类型类。

  import scalaz.std.list.listInstance
  val initial: List[ReaderInt[String]] = ???  
  val sequenced: ReaderInt[List[String]] = Traverse[List].sequence[ReaderInt, String](initial) 

  import scalaz.syntax.traverse._
  val z = x.sequence[ReaderInt, String]    

我宁愿不使用sequenceU，它使用Unapplytypelcas 来推断G类型，因为有时 scala 很难找出正确的类型。 而且我个人并不觉得自己输入一些类型很混乱。

可能值得研究一下cats https://github.com/typelevel/cats，虽然还没有太多。