structural type system

Из Википедии, свободной энциклопедии