<div class="gmail_quote">Когда то давно это было задание на олимпиаду.</div><div class="gmail_quote">Вот пример программы на паскале:</div><div class="gmail_quote">type</div><div class="gmail_quote">   my_type: 0..maxint;</div>
<div class="gmail_quote">var</div><div class="gmail_quote">  a: my_type;</div><div class="gmail_quote">begin</div><div class="gmail_quote">   a:=-1;</div><div class="gmail_quote">end;</div><div class="gmail_quote"><br></div>
<div class="gmail_quote">... которая идентичная </div><div class="gmail_quote"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">
<div class="gmail_quote"><div class="im"><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">
<div>% perl6 -e 'subset Positive of Int where { $_ > 0 }; my Positive $x = -1;'</div>Type check failed for assignment</blockquote></div></div></blockquote></div></div><div class="gmail_quote"><br></div><div class="gmail_quote">
В Си можно использовать тип данных unsigned.</div><div class="gmail_quote"><br></div><div class="gmail_quote">В джаве только писать класс-обертку идентичную unsigned.</div>