Scala использует зависимый тип в сигнатуре типа функции?

Question

Я не уверен, что формулировка вопроса была подходящей, поэтому я уточню.

sealed trait RedisKey[A] { 
    type valueType = A 
    def name: String 
} 
case object FirstName extends RedisKey[String] { val name = "first_name" } 
case object Age extends RedisKey[Int] { val name = "age" } 

trait Redis { 
    def fetch(key: RedisKey)// : key.valueType 
} 

Мне нужно ограничить тип возвращаемого fetch на RedisKey «s зависимого типаvalueType (не уверен, если это правильный термин). Но, очевидно, вышеупомянутое не работает, так как мне нужен конкретный экземпляр RedisKey, прежде чем я получу доступ к его зависимому типу.

Можно ли добиться этого каким-либо образом?

Answer 1

Вы можете сделать это с зависимым типом тоже:

sealed trait RedisKey { 
    type valueType 
    def name: String 
} 
case object FirstName extends RedisKey { type valueType = String; val name = "first_name" } 
case object Age extends RedisKey { type valueType = Int; val name = "age" } 

trait Redis { 
    def fetch(key: RedisKey): key.valueType 
} 
(null: Redis).fetch(Age): Int 
(null: Redis).fetch(FirstName): String 

Последние две строки есть, чтобы проверить тип возвращаемого значения метода в REPL.

Answer 2

Оказалось, что через 5 минут после публикации этого вопроса я понял, что переусердствовал.

Следующие работы без взлома зависимого типа.

sealed trait RedisKey[A] { 
    def name: String 
} 
case object FirstName extends RedisKey[String] { val name = "first_name" } 
case object Age extends RedisKey[Int] { val name = "age" } 

trait Redis { 
    def fetch[A](key: RedisKey[A]): A 
}