scala - Scalaz 中的 Tower[A] 和 IvoryTower 是什么？

Question

当我看着 scalaz.effect.IO源代码，我注意到它有一个方法 apply带有以下签名:

sealed trait IO[A] {
  def apply(rw: Tower[IvoryTower]): Trampoline[(Tower[IvoryTower], A)]
}

Tower[A]和 IvoryTower定义为:

case class Tower[A]()
sealed trait IvoryTower

有一个 Tower 的实例:

object IvoryTower extends IvoryTowers

trait IvoryTowers {
  val ivoryTower = Tower[IvoryTower]()
}

这些类(class)的目的是什么？为什么 IO.apply接受类型为 Tower[IvoryTower] 的参数?

Answer 1

这是一个笑话:IvoryTower是一个名为 RealWorld 的 Haskell 类型的端口. (我确实希望它有一个更清晰的名字——这个名字对新手来说既难以理解又实际上并不有趣)。见例如https://wiki.haskell.org/IO_inside .