Тип псевдонима для выводимого типа

Question

У меня есть метод со сложным типом возврата, и я хотел бы иметь функцию, которая принимает результат этого метода в качестве параметра. Возможно ли создать псевдоним для возвращаемого типа метода? Что-то вроде typeof от C++

например.

object Obj { 
    def method(x:Int) = 1 to x 
    type ReturnType = ??? 

    //possible solution if i know a parameter for which the method won't fail 
    val x = method(1) 
    type ReturnType = x.type 

    //another possible solution, I don't need a parameter that won't fail 
    //the method but i still think there is a better way 
    lazy val x = method(1) 
    type ReturnType = x.type 

    //I would then like to have a function which takes ReturnType as a parameter 
    def doit(t:ReturnType) = Unit 
} 

Дело в том, что компилятор знает тип, но я не знаю, как его получить.

Answer 1

Единственный способ, которым я мог думать это:

class Return[T](f:() => T) { 
    type Type = T 
} 

def getDifficultReturnType() = 1 to 10 

val Return = new Return(getDifficultReturnType) 

def doIt(t:Return.Type) = { 

} 

Я не уверен, если это то, что вы ищете.

Answer 2

Насколько мне известно, это невозможно. Возможно, в будущей версии Scala с type macros.

В любом случае, оставляя тип подальше, если он нетривиальный, на мой взгляд, не очень хороший дизайн. Я понимаю, что вы не хотите вводить 80 символов, но если важно сохранить этот тип (как он звучит), его следует развернуть по адресу около.

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

object Obj { 
    type ReturnType = My with Very[LongAndComplicated] with Name 
    // explicit type ensures you really get what you want: 
    def method(x: Int): ReturnType = 1 to x 

    def doit(t: ReturnType) {} 
}