将函数提升到 ~> 在 scalaz 中

Question

我有以下类型和声明：

import scalaz._, Scalaz._
trait Container[T] 
type FreeContainer[A] = Free[Container, A]
type FreeFreeContainer[A] = Free[FreeContainer, A]
val fc: FreeContainer[Int]
val ffc: FreeFreeContainer[Int]
val t: Container ~> Id
val tranformed: Int = fc.foldMap(t)   //ok
val tranformed2: Int = ffc.foldMap(t) //error

是否可以将Container ~> Id提升到FreeContainer ~> Id？

Answer 1

是的，通过foldMap：

val t: Container ~> Id
val tt: FreeContainer ~> Id = new (FreeContainer ~> Id) {
  def apply[A](fc: FreeContainer[A]): A = fc.foldMap(t)
}

使用投影仪的多态λ语法，这可以简化为

val tt: FreeContainer ~> Id = λ[FreeContainer ~> Id](_.foldMap(t))

所以你可以做

val tranformed2: Int = ffc.foldMap(λ[FreeContainer ~> Id](_.foldMap(t)))

或者，您可以只执行两个连续的foldMap，第一个具有恒等式自然转换：

val tranformed2: Int = ffc.foldMap(NaturalTransformation.refl[FreeContainer]).foldMap(t)