Interface A<T> interface B<T : Any, U: T?> : A<T?> fun <T>

Question

Interface A<T> interface B<T : Any, U: T?> : A<T?> fun <T>

A<T>.fix(): A<out T> = this

fun <T: Any> f(a: A<T?>): B<T, T?> = a as B<T, T?>

fun main() {
f(AImpl<String>().fix())
}

Ну или вот так (это что-то в духе Arrow, если я не ошибаюсь)

#kotlin #programming #russian

0

15.01.2019

1 ответов

23 просмотра

( · Accepted Answer

(

Сам только что смотрел, как сделано в Arrow. Ну, у них там для определения контейнера пустые классы используются, тут было бы что-то вроде class Nullable<T> : Type<ForNullable, T?>()

0

15.01.2019

169 похожих чатов

Interface A<T> interface B<T : Any, U: T?> : A<T?> fun <T>

1 ответов

Похожие вопросы