-
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.cyf-kr.edu.pl!news.nask
.pl!news.nask.org.pl!news.internetia.pl!opal.futuro.pl!newsfeed.neostrada.pl!un
t-exc-02.news.neostrada.pl!nx02.iad01.newshosting.com!newshosting.com!69.16.185
.11.MISMATCH!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.h
ighwinds-media.com!x14no6019750qar.0!news-out.google.com!r17ni57592152qap.0!nnt
p.google.com!x14no6271283qar.0!postnews.google.com!glegroupsg2000goo.googlegrou
ps.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Wed, 24 Oct 2012 00:59:52 -0700 (PDT)
In-Reply-To: <e...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=195.182.34.201;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
NNTP-Posting-Host: 195.182.34.201
References: <3...@g...com>
<3...@g...com>
<k3idkc$ne3$1@node2.news.atman.pl>
<9...@g...com>
<k3spfr$46s$1@node2.news.atman.pl>
<8...@g...com>
<e...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1...@g...com>
Subject: Re: Dlaczego software to F35 jest pisany w C++ a nie w Ada
From: Maciej Sobczak <s...@g...com>
Injection-Date: Wed, 24 Oct 2012 07:59:52 +0000
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3105
Lines: 36
Xref: news-archive.icm.edu.pl pl.comp.programming:200397
[ ukryj nagłówki ]W dniu środa, 24 października 2012 00:32:07 UTC+2 użytkownik Marcin Kowalczyk
napisał:
> "Bezpiecznikiem" był if w kodzie, który sprawdzał, czy wartość mieści się w
zakresie int16, i jeśli nie, to podstawiał skrajne wartości z zakresu.
Oprócz tego jawnego ifa w kodzie Ada wstawia własne ify (albo realizuje to w
jakikolwiek inny sposób) przy każdej konwersji między dwoma typami liczbowymi.
To znaczy, że nawet bez tego jawnego ifa w kodzie Ada ma mechanizm sprawdzający,
który powoduje reakcję na poziomie software'u (wyjatek Constraint_Error, który da się
obsłużyć programowo).
W razie potrzeby służę odpowiednim paragrafem.
> "Disabling" polegało na tym, że tego ifa w ogóle nie było,
"Disabling" musiało też polegać na wyłączeniu tego mechanizmu języka, którego nie
widać, ale który normalnie jest włączony. Dlatego konwersja nie spowodowała rekacji
na poziomie software'u, tylko na poziomie hardware'u, gdzie software nie miał już nic
do powiedzenia.
> Nie był więc wcale "domyślnie włączony",
Był. To wynika z definicji języka.
> a w C można było napisać takiego ifa tak samo jak w Adzie.
Można go też było nie napisać tak jak w Adzie. Różnica polega na tym, że Ada ma
jeszcze pod spodem mechanizm zdefiniowany na poziomie języka, którego C nie ma.
Ten mechanizm jest normalnie włączony, ale można go wyłączyć.
--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com
Następne wpisy z tego wątku
- 24.10.12 18:38 Baranosiu
- 25.10.12 09:45 Maciej Sobczak
- 25.10.12 18:21 Baranosiu
- 27.10.12 09:05 Maciej Sobczak
- 27.10.12 16:53 Baranosiu
- 29.10.12 10:40 Maciej Sobczak
- 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-05-26 O co chodzi?
- 2024-05-26 PJ autobus-tramwaj
- 2024-05-26 Renault Trafic i lampka z czerwonym STOP
- 2024-05-26 cena pięciocyfrowa
- 2024-05-26 Re: Jak dobra KE "okrada" złą Rosję "dla Ukrainy"
- 2024-05-25 supercap
- 2024-05-25 Sulzbach => Technischer Rollouter (d/m/w) <=
- 2024-05-25 Warszawa => Senior Account Manager <=
- 2024-05-25 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-25 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-25 Warszawa => Interactive/Experience Designer <=
- 2024-05-25 Warszawa => Key Account Manager <=
- 2024-05-25 Warszawa => SAP WM Consultant / Execution <=
- 2024-05-25 Warszawa => Key Account Manager <=
- 2024-05-25 Re: znów ten wrocław