4 ms·
Subtyping doesn't require sacrificing type inference. HM type inference yes, but not the kind you get in languages like Kotlin.
by thu2111 6y ago
Subtyping doesn't require sacrificing type inference. HM type inference yes, but not the kind you get in languages like Kotlin.