ML
такой нубский вопрос:
существует ли теоритическая возможность сделать так, чтобы A :> B (B был подтипом A) или это где то ломает систему типов/лямбды/инлайны?
существует ли теоритическая возможность сделать так, чтобы A :> B (B был подтипом A) или это где то ломает систему типов/лямбды/инлайны?
interface A {
fun copy(a: XXX): A
}
interface B {
fun copy(a: XXX, b:YYY = yyy)
}я просто всё хочу найти способ натянуть некоторый подвид структурного полиморфизма на data class
