Question

我正在写一个FRM，其字段是在F[_]上抽象的。

trait Query[A]
case class Field[A](name: String)
case class DBTable[T[_[_]]](fields: T[Field]) extends Query[T[Field]]

// example table
case class PersonalInfo[F[_]](name: F[String], age: F[Int])

我想使用递归方案执行查询重写，所以我需要定义一个模式仿函数，

trait QueryF[A, B]
case class DBTableF[T[_[_]], B](fields: T[Field]) extends QueryF[T[Field], B]

然后使用coalgebra将查询提升到其中：

type Coalgebra[F[_], A] = A => F[A]

def coalg[A]: Coalgebra[QueryF[A, ?], Query[A]] = {
    case DBTable(fields) => DBTableF(fields)
}

这样可行，但定义algebra以反向转换不会：

type Algebra[F[_], A] = F[A] => A

def alg[A]: Algebra[QueryF[A, ?], Query[A]] = {
  case DBTableF(value) => DBTable[A](value)
}

alg函数抛出编译器错误，说constructor of type controllers.thing.DBTableF[T,B] cannot be uniquely instantiated to expected type controllers.thing.QueryF[?,controllers.thing.Query[?]

Answer 1

这是怎么回事：

import scala.language.higherKinds

trait Query[A]
case class Field[A](name: String)
case class DBTable[T[_[_]]](fields: T[Field]) extends Query[T[Field]]

trait QueryF[A, B]
case class DBTableF[T[_[_]], B](fields: T[Field]) extends QueryF[T[Field], B]

type Coalgebra[F[_], A] = A => F[A]

def coalg[A]: Coalgebra[({ type L[X] = QueryF[A, X]})#L, Query[A]] = {
    case DBTable(fields) => DBTableF(fields)
}

type Algebra[F[_], A] = F[A] => A

def alg[A]: Algebra[({ type L[X] = QueryF[A, X]})#L, Query[A]] = {
  case dbtf: DBTableF[t, b] => DBTable(dbtf.fields)
}

或者，将最后一个case替换为：

  case dbtf: DBTableF[t, b] => DBTable[t](dbtf.fields)

如果这更清楚一点。

这两个变体在2.12.6上使用-Ypartial-unification进行编译。

Scala编译器使用复杂类型参数推断过度特定的类型

1 个答案: