<use ,,,imports;
is ,,,supertypes; -- establishing type compatibility .
has ,,, subtypes;
... .
>;the use.section:. why would an interface need to import a module?
they may refer to types other than self
that are not in the top-level library .
the has.section:
. a supertype has or controls its subtypes;
eg, number has all of these types:
int, real, quotient, complex, modular .
8.21: adda/oop/syntax/
ReplyDeletesections for use, is, has/it's as not has:
. in (3.23: adda/oop/syntax/ sections for use, is, has)
the interface is said to use the keyword (has),
but that should be (as) instead;
because, we're talking about identifying
the type's recognized subtypes
whereas (has) is suggestive of included components .
tuple has an int;
number as an int .
8.22:
. this complements another use of (as)
for converting to another type .