W dniu sobota, 27 października 2012 16:53:37 UTC+2 użytkownik Baranosiu napisał:

> > type My_Int is range 0 .. 1000;

> No jak tak obetniesz,

Tak obciąłem, bo nie miałem innego pomysłu. Nie podałeś, jaka to dziedzina.
Temperatura wody w stanie ciekłym w czajniku to 0..100, prędkość jakiegoś tam
samochodu to 0..250, ilość zajętych siedzeń w teatrze to 0..814, numer nuty w
muzycznych kontrolerach MIDI to 0..127, numer piętra w budynku to 1..25, itd. Czyli
każdy *realny* problem ma jakieś *realne* wartości, z których można zrobić *realną*
definicję typu w programie.
Nie mam pojęcia, z jakiej dziedziny pochodzi Twój przykład z rekurencyjnie liczoną
silnią. Prawdopodobnie pochodzi z dziedziny newsgrupowych flejmów na temat
nieistniejących problemów...

> ale daj range Integer'First+1 .. Integer'Last-1;

... czyli zgadza się.

> Po prostu
> był błąd w specyfikacji Ada95 (a taka obowiązywała w momencie lotu
> Ariane 5 :D)

W Ariane 5 nie było problemu z przekręceniem typu bazowego, tylko z rzutowaniem. I
nawet nie dotyczyło to typu Integer.

> Załóżmy, że sprzętowo Integer jest powiedzmy 8-bitowy

Ale nie jest.

> tak wiem, według specyfikacji musi być co najmniej
> 16-bitowy ze znakiem, ale chodzi o prostotę przykładu

Czyli: "olejmy specyfikację w miejscu X, wtedy uda się podkreślić niedociągnięcie w
miejscu Y".

Krótko: masz rację.

--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com