3 ms·
Other notable examples include the OCaml object system which implements subclasses using row types (structural subtyping), meaning that subclasses are not techn
by jolux 7y ago
Other notable examples include the OCaml object system which implements subclasses using row types (structural subtyping), meaning that subclasses are not technically subtypes, and TypeScript interfaces, which are also structurally typed.
- momentoftop 7y agoAnd it inherited its module system from Standard ML, where module types (signatures) obey structural subtyping: a module can be typed to any signature it includes.