Re: Czym jest programowanie? - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › Czym jest programowanie? › Re: Czym jest programowanie?

Path: news-archive.icm.edu.pl!news.icm.edu.pl!fu-berlin.de!postnews.google.com!glegro
upsg2000goo.googlegroups.com!not-for-mail
From: Roman W <b...@g...pl>
Newsgroups: pl.comp.programming
Subject: Re: Czym jest programowanie?
Date: Thu, 14 Jun 2012 07:35:43 -0700 (PDT)
Organization: http://groups.google.com
Lines: 27
Message-ID: <f...@g...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>
<7...@q...googlegroups.com>
NNTP-Posting-Host: 193.189.80.39
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1339684543 10321 127.0.0.1 (14 Jun 2012 14:35:43 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Thu, 14 Jun 2012 14:35:43 +0000 (UTC)
In-Reply-To: <7...@q...googlegroups.com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=193.189.80.39;
posting-account=EexxQQoAAAAkOfWz0VZRKLcHNpXJZLB9
User-Agent: G2/1.0
Xref: news-archive.icm.edu.pl pl.comp.programming:197903
[ ukryj nagłówki ]
On Thursday, June 14, 2012 2:28:40 PM UTC+1, Maciej Sobczak wrote:
> 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ć.

Oczywiscie ze mozna bez wyjatkow, C przeciez sobie radzilo z takimi sytuacjami bez
wyjatkow ;-) A co robi wtedy SPARK?

RW