-
Data: 2012-10-29 10:40:01
Temat: Re: Dlaczego software to F35 jest pisany w C++ a nie w Ada
Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]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
Następne wpisy z tego wątku
- 29.10.12 12:01 Baranosiu
- 29.10.12 15:56 Maciej Sobczak
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-06-10 wyobrazcie sobie ze
- 2024-06-10 malowanie samochodu
- 2024-06-10 News from Poland
- 2024-06-10 Czy na pewno będą CŁA na chińskie samochody?
- 2024-06-09 Dlaczego w Polsce sie nic nie udaje, na przykładzie niebieskiego lasera a teraz perskowitów
- 2024-06-09 Dlaczego w Polsce sie nic nie udaje, na przykładzie niebieskiego lasera a teraz perskowitów
- 2024-06-09 Wykrywanie przerwy w długim przewodzie zakopanym w ziemi.
- 2024-06-09 Czemu news.chmurka.nwt jest taki wolny?
- 2024-06-11 Funbox 3.0 zakres adresów DHCP
- 2024-06-11 Re: Funbox 3.0 zakres adresów DHCP
- 2024-06-09 Miernik szybkości netu
- 2024-06-11 Panele PV w pionie (prawie).
- 2024-06-11 czy ta grupa żyje?
- 2024-06-11 Warszawa => Senior React Native Developer <=
- 2024-06-11 Gdańsk => Kierownik Działu Spedycji Międzynarodowej <=