-
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.
atman.pl!news.nask.pl!news.nask.org.pl!news.unit0.net!news.glorb.com!news-out.r
eadnews.com!news-xxxfer.readnews.com!postnews.google.com!q29g2000vby.googlegrou
ps.com!not-for-mail
From: Maciej Sobczak <s...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Czym jest programowanie?
Date: Thu, 14 Jun 2012 06:28:40 -0700 (PDT)
Organization: http://groups.google.com
Lines: 32
Message-ID: <7...@q...googlegroups.com>
References: <jr72q7$shp$1@inews.gazeta.pl>
<8...@g...com>
<jr75rr$oes$1@inews.gazeta.pl> <jr7ap4$5rm$1@inews.gazeta.pl>
<jr7bu7$n2m$1@inews.gazeta.pl>
<2...@z...googlegroups.com>
<5...@g...com>
<7...@8...googlegroups.com>
<jr7ig7$30f$1@inews.gazeta.pl>
<3...@f...googlegroups.com>
<g...@4...com>
<jrbpri$3ls$1@inews.gazeta.pl>
<0...@q...googlegroups.com>
<2...@g...com>
NNTP-Posting-Host: 195.182.34.254
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1339680604 1418 127.0.0.1 (14 Jun 2012 13:30:04 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Thu, 14 Jun 2012 13:30:04 +0000 (UTC)
Complaints-To: g...@g...com
Injection-Info: q29g2000vby.googlegroups.com; posting-host=195.182.34.254;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; Linux x86_64; rv:7.0.1) Gecko/20100101
Firefox/7.0.1,gzip(gfe)
Xref: news-archive.icm.edu.pl pl.comp.programming:197902
[ ukryj nagłówki ]On 14 Cze, 10:18, Roman W <b...@g...pl> wrote:
> > Istnieje też powiązany z Adą język SPARK, w którym w ogóle nie ma
> > wyjątków, bo język gwarantuje, że nie ma sytuacji wyjątkowych, które
> > normalnie wymagalyby run-time checka.
>
> Jezyk gwarantuje, ze kazde polaczenie z baza danych bedzie udane, a kazdy plik na
dysku gotowy do zapisu?
Język gwarantuje, że nie ma operacji, które prowadziłyby do zachowań
niezdefiniowanych. Próba zapisu do pliku, którego nie da się zapisać,
to jest bardzo dobrze zdefiniowana operacja i żadnego wyjątku tam nie
potrzeba. To, że większość współczesnych języków używa w takich
okolicznościach wyątków nie znaczy, że bez wyjątków nie można tego
obsłużyć. To raczej objaw wrzucania wszystkiego do jednego worka.
Pomyśl natomiast o dzieleniu przez zero, wyjechaniu za tablicę,
przekroczeniu zakresu dla jakiegoś typu, itp. - to są przypadki, które
normalnie prowadziłyby do zachowania niezdefiniowanego i przy których
tzw. "bezpieczne" języki strzelają wyjątkami a tzw. "niebezpieczne"
udają, że nic nie widzą. Właśnie takich przypadków w SPARKu nie ma.
--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com
Następne wpisy z tego wątku
- 14.06.12 16:35 Roman W
- 14.06.12 16:51 Wojciech Muła
- 14.06.12 17:34 AK
- 14.06.12 17:52 Roman W
- 14.06.12 20:00 slawek
- 14.06.12 20:20 slawek
- 14.06.12 20:23 slawek
- 14.06.12 20:25 slawek
- 14.06.12 20:28 slawek
- 14.06.12 20:32 noma
- 14.06.12 21:18 Michoo
- 14.06.12 21:22 slawek
- 14.06.12 21:28 slawek
- 14.06.12 21:33 Wojciech Muła
- 14.06.12 21:36 alter amonu
Najnowsze wątki z tej grupy
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
- Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- 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?
Najnowsze wątki
- 2025-04-05 Dziwny wymiar wyroku
- 2025-04-05 Prunt z dachu
- 2025-04-05 Taśma LED
- 2025-04-05 Kraków => MS Dynamics 365BC/NAV Developer <=
- 2025-04-05 Warszawa => Strategic Account Manager <=
- 2025-04-05 co w Anglii dziś w Polsce za 30 lat
- 2025-04-05 Wrocław => SOC Tech Lead <=
- 2025-04-05 Gdynia => Przedstawiciel handlowy / KAM (branża TSL) <=
- 2025-04-05 Wyrok dożywocia dla Polki
- 2025-04-04 Prezydium Sejmu Tuskiego orzekło: Poseł KO mecenas Roman Giertych NIE jest mordercą (w żadnym sensie tego słowa?)
- 2025-04-04 Reset komóry
- 2025-04-04 Lublin => JavaScript / Node / Fullstack Developer <=
- 2025-04-04 Zielonka => Key Account Manager IT <=
- 2025-04-04 Warszawa => Ekspert IT (obszar systemów sieciowych) <=
- 2025-04-04 Warszawa => Mid/Senior IT Recruiter <=