loong and looong integer

[wizzard]

128 and 256-bit, respectively ^^

Comments

[zhengxi.livejournal.com]

Развивая идею:

Fixed point (подобный тип есть в Limbo, хотя integer range там нет):
fixed<-180, +180, 1/60/60> longitude_in_seconds;

Floating point:
fixed<(-2**53)..(2**53-1), 2**(−1022..1023)> d;

:)

[wizzard]

ну да, with sufficiently powerful type system you can generalize everything. Но никто ж не говорит об выбрасывании "привычных" типов, их можно просто определить в терминах базовых.

[zhengxi.livejournal.com]

Если вдруг встретишь какие-нибудь реализации подобной системы типов, или хотябы статьи - поделись ссылками