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