News for hackers. Stuff that matters.

A comment on Is Go Duck-Typed?. Parent comment

Re:Is Go Duck-Typed? by jolux on Wednesday March 04, 2020 @02:30PM (#22487086)
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.
[ Parent | on HN ]
Re:Is Go Duck-Typed? by momentoftop on Thursday March 05, 2020 @04:14AM (#22492101)
And 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.
[ Parent | on HN ]