> Они по размеру разные.

я всё равно из текста не понял, каким образом здесь *размер* относится к *представлению*. кроме того, что в Африке негры, а на орбите спутник.

> Да это был как еще 1 пример бестолковостей с типами.

ты как-то выделяй это, что ли. а то получалось, что «неопределённость размера инта не позволяет определить результат переполнения.»

>> и сколько их?
> Не знаю. Процов много разных бывает, вплоть до самопалов на FPGA и
> академизвращений типа subleq.

это круто. но тем не менее подавляющее большинство универсальных процессоров с целыми работает одинаково, имеет регистры, mov и carry flag. только комитету по стандартизации «близкого к железу» языка об этом почему-то никто не рассказал, а сами они никак узнать такое не могли.

> Правда опять же - а как carry вывешивать, чтобы математика не тормознула в разы?

элементарно. я тебе сейчас страшную штуку скажу, ты приготовься: можно иметь математику и с проверкой, и без проверки! понимаю, сразу до такого не додумаешься, эту сложную идею надо долго переваривать.

прикинь: добавить, например, какой-нибудь iscarry(expr) — и… и опа! Очень Сложная Проблема успешно решена, потому что внутри expr си допускает всякие присваивания и прочие гитики. это так, простейшее решение за перекуром. что самое смешное — даже такое простое решение покроет огромное количество случаев, убрав многие идиотские танцы со сравнениями. и при этом если проверки не нужны — их точно так же не делают, как и раньше. ЧУДО!