Здравствуйте, samius, Вы писали:
I>>На самом деле тип это не только и не столько данные, сколько операции, которые определены для эти данных. С интом нормально выполнять битовые, арифметические и какие угодно операции. А вот выполнять битовые операции над номерами домов мягко говоря смысла нет. Следовательно — тип другой. S>Не затруднит назвать язык в ПП парадигме с такой системой типов?