3 ms·
Also row polymorphism can solve most of the problems subtyping can without sacrificing type inference and without the complexity. Too bad it hasn't really caugh
by smabie 6y ago
Also row polymorphism can solve most of the problems subtyping can without sacrificing type inference and without the complexity. Too bad it hasn't really caught on.
- wwright 6y agoIt's actually very popular in the JS world these days
- contravariant 6y agoThat seems like a somewhat convoluted way to have informal interfaces.
- thu2111 6y agoSubtyping doesn't require sacrificing type inference. HM type inference yes, but not the kind you get in languages like Kotlin.