Специализирующийся связанный тип внутри функции

Question

У меня есть черта, которая определяет связанный тип. В функции, я хочу вернуть этот ассоциированный тип, который отличается в зависимости от прилагаемого значения:

sealed trait Abstract { 
    type T 
} 

class Impl1 extends Abstract { 
    type T = Int 
} 

class Impl2 extends Abstract { 
    type T = Boolean 
} 

object G { 
    def get[A <: Abstract] (x: A): A#T = { 
    x match { 
     case i1: Impl1 => 
     5 
     case i2: Impl2 => 
     true 
    } 
    } 
} 

Проблема заключается в том, что не Scala признать, что в случае согласованного A#T является Int или Boolean, соответственно, и я получите следующее сообщение об ошибке:

Expression of type Int doesn't conform to expected type A#T 

Как это решить?

Answer 1

Проблема заключается в том, что Scala не признает, что в случае согласованного A # T является Int или булева соответственно

Строго говоря , это не так. Например, вы могли бы назвать

get[Abstract](new Impl1) 

в этом случае A#T является Abstract#T, который не является ни Int не Boolean. Или

get(throw new Exception) 

так что вы получите Nothing#T (Nothing <: Abstract, в конце концов!).

Вообще-то, по моему опыту, Scala не так хороша даже в GADT, и, делая такие вещи, вам часто приходится «помогать», используя приведения, и ваша ответственность - убедиться, что они в безопасности.

Answer 2

Ваше состояние match дает результат AnyVal, он ничего не знает о A#T. Вы должны использовать .asInstanceOf[A#T] на результат или Extrac шаблону

val z = x match { 
    case i1: Impl1 => 
    5 
    case i2: Impl2 => 
    true 
} 
z match { 
    case x: A#T => x 
}