raulraja
04/04/2017, 2:07 PMinterface X {
typealias F
fun x() : F
}
class Y : X {
typealias F = String
fun x() : String = "hello dependent types!"
}
voddan
04/04/2017, 2:23 PMinterface X<F> {fun x(): F}
raulraja
04/04/2017, 2:43 PMjaspersmit
04/04/2017, 2:46 PMvoddan
04/04/2017, 2:46 PMraulraja
04/04/2017, 2:46 PMvoddan
04/04/2017, 2:47 PMraulraja
04/04/2017, 2:48 PMjaspersmit
04/04/2017, 2:49 PMraulraja
04/04/2017, 2:51 PM