loong and looong integer

[wizzard]

128 and 256-bit, respectively ^^

Comments

[udpn.livejournal.com]

Ни разу не видел кода на С++ вроде

range<0, 255> a;
range<-10, 10> b;
a += b; // Error: Range check failed

хотя его довольно просто написать. Быть может, это никому не нужно?

ps Какбы намекну, что множество всех предикатов значительно мощнее множества предикатов вида P = {a <= x <= b}.

[wizzard]

Множество всех предикатов редко допускает операцию унификации, увы.

[zhengxi.livejournal.com]

Просто чекать range даже мне не нужно :)
А выбирать storage type (сколько бит выделять) в зависимости от ranges и результатов операций над ними - было бы не плохо.