Not all subtyping is bad. For example, automatic type abstraction/application is a well-behaved form of subtyping. Same thing for row polymorphism or polymorphic variants twitter.com/PhilipWadler/s
This Tweet is unavailable.
5
1
19
Conversation
I kinda wonder if even inheritance-based subtyping is all that bad, or if it isn't largely guilt-by-association from always being seen together with global mutable state
1
1
Replying to
Makes inference super hard, especially with HKT, but I’m sure you know that. Would be interesting to se a land that defaults to ‘closed’, but allows one to opt in to ‘open’...
Oooh, interesting! How does it fare in practice?
1
Show replies
Replying to
(Yeah I'm not saying it's /actively good/, polymorphism-based approaches are more appealing to me as well, just maybe it's not one of the most significant reasons why languages which typically include it are bad)
1