nominative type system

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