4 ms·
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 includ
by momentoftop 7y ago
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.