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