如何將序列[閱讀器[E，A]]）轉換成閱讀器[E，SEQ [A]

Question

這裏是我的實際解決方案

private def transpose[E, A](readers : Seq[Reader[E, A]]) : Reader[E, Seq[A]] = 
    Reader { e: E => readers.map { r => r(e) } } 

是否與scalaz一個更簡單的解決方案（也許與現有的combinator）？

Answer 1

這種操作實質上是sequence：

import scalaz.Reader, scalaz.std.list._, scalaz.syntax.traverse._ 

def transpose[E, A](readers: List[Reader[E, A]]): Reader[E, List[A]] = 
    readers.sequenceU 

一般來說，如果M有Traverse實例和N是一個單子，你可以用這種方式變換M[N[A]]成N[M[A]]（見我的回答here一些額外的細節）。

注意sequence不會Seq工作，因爲Scalaz沒有爲Seq提供Traverse實例（雖然它的List，Vector等）。你可以自己寫，但我建議not doing that。

（作爲註腳，在U在sequenceU這裏就結束了僅僅是一個黑客，以幫助Scala的類型推斷，見我的博客文章here一些背景的一部分。）