почему в приведенном ниже примере с mapTwo Котлин не может вывести тип a?
mapTwo
a
fun <U> mapOne(f: (Int) -> U): U = TODO() fun <U> mapTwo(f: Function<Int, U>): U = TODO() fun <T> mapper(a: T): List<T> = TODO() fun main() { mapOne(::mapper) mapTwo(::mapper) //won 't compile }
Вывод типа не является причиной ошибки компиляции. mapTwo<List<Int>>(::mapper) также не будет компилироваться из-за того, что ::mapper имеет тип (T) -> List<T> (KFunction1<T, List<T>>), который нельзя присвоить Function<Int, U>.
mapTwo<List<Int>>(::mapper)
::mapper
(T) -> List<T>
KFunction1<T, List<T>>
Function<Int, U>