Компилятор Scala выводит слишком специфический тип с параметром сложного типа - PullRequest
Новая
       25

Компилятор Scala выводит слишком специфический тип с параметром сложного типа

0 голосов
/ 17 мая 2018

Я пишу 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[?]

1 Ответ

0 голосов
/ 18 мая 2018

Как об этом здесь: 

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)

, если это немного яснее.

Оба варианта компилируются с -Ypartial-unification 2.12.6.

...