Declare переменного типа, является функцией возвращаемого типа

Question

Я в настоящее время использую псевдоним типа:

type FooType = Int 
val foo = (_: Int) * 2 

def takeFooRet(x: FooType) = ... 

однако, я хотел бы сделать что-то вроде:

val foo = (_: Int) * 2 

def takeFooRate(x: foo.RetType) = ... 

Я не видя что-нибудь в Function1. Это невозможно?

Answer 1

Вы должны знать тип входа или параметризуем ваш «takeFooRate» с некоторым типом

def takeFooRate[+Out](x: Int => Out) = ... 

или

def takeFooRate[-In,+Out](x: In => Out) = ... 

Answer 2

Это не невозможно, но вы должны Function1 выставить тип возвращаемого как тип участник. К сожалению, это не так, но вы можете обернуть Function1 во что-то, что даст вам необходимую информацию. Вот тривиальный пример

class Function1Aux[T1, R](f: Function1[T1, R]) { 
    type Out = R 
} 

val foo = new Function1Aux((_: Int) * 2) 

def takeFooRate(x: foo.Out) = x 

Я понимаю, что это не очень, но это показывает, что это технически возможно.