Здравствуйте, T4r4sB, Вы писали:

TB>но из-за ограничений платформы на деле получается
Это не ограничения платформы а реальность, данная нам в ощуплении (tm)
Ибо каждый язык это всего лишь более удобный способ выразить логику программы чем писать в машкодах. И они все должны ложиться на архитектуру платформы.
Когда про это забывают — получается бардак и страдания.

TB>Integer<0..255> + Integer<0..255> имеет тип Integer<0..255> а вовсе не Integer<0..510> как должно быть.
Кому должно?
Это как кричать что неправильно что у человеков две руки а должно быть четыре!