Question

我有一堆看起来完全相同的数据存储类型。

trait FooStore[C] {
  def create(f: FooId => Foo)(c: C): Foo
  // update and find methods
}

我想简化一些事情，并希望使用依赖方法类型来接近

sealed trait AR {
  type Id
  type Type
}

sealed trait FooAR extends AR {
  type Id = FooId
  type Type = Foo
}

trait DataStore[C] {
  def create(ar: AR)(f: ar.Id => ar.Type)(c: C): ar.Type
}

但是当我尝试创建一个如下的实例时

case class InMemory(foos: List[Foo])
object InMemory {
  lazy val InMemoryDataStore: DataStore[InMemory] = new DataStore[InMemory] {
    def create(ar: AR)(f: ar.Id => ar.Type)(c: InMemory): ar.Type = sys.error("not implemented")
  }
}

我收到以下编译错误

object creation impossible, since method create in trait DataStore of type (ar: AR)(f: ar.Id => ar.Type)(c: InMemory)ar.Type is not defined
  lazy val InMemoryDataStore: DataStore[InMemory] = new DataStore[InMemory] {
                                                        ^
one error found

我不明白，因为在DataStore实例上明确定义了该方法。错误是什么意思，这可能吗？如果没有，是否有不同的方法来完成同样的事情？

Answer 1

它使用Scala-2.10-M2里程碑进行编译，自2.9版本以来，一些依赖方法类型的错误已得到修复。我不完全确定，但也许this one可能会使它发挥作用。

依赖方法类型和类型类

1 个答案: