Hacker News new | ask | show | jobs
by tel 4232 days ago
Haskell's typeclass provide it.
1 comments
dragonwriter 4232 days ago
Typeclasses aren't structural typing, they are nominative typing, as typing is controlled by explicit declaration of relations between types and typeclasses, not inferred from structural properties.
link
tel 4231 days ago
Sure they are: (forall a. X a => a) is a supertype of (forall a. (X a, Y a) => a).
link
dragonwriter 4231 days ago
I stand corrected.
link