On Aug 15, 8:11 pm, "Wojciech \"Spook\" Sura" <spook"mad@hatter"op.pl>
wrote:

> To nie jest prawda. Jest możliwe, że taki program w C nie tyle wywali się  
> nieładnie, co w ogóle się nie wywali - ba, w niektórych okolicznościach  
> będzie nawet działał poprawnie. Zdecydowanie wolę, żeby program z marszu  
> rzucił wyjątkiem niż żeby działał dalej w niezdefiniowany sposób.

Tak, jest w tym jakaś wartość. Przynajmniej wiadomo, że program nie
brnie "w buraki".

> *W tym  
> kontekście* absolutnie zgadzam się ze stwierdzeniem, że w Javie robi się  
> mniej błędów.

Otóż nie, to nie przeszkadza w robieniu błędów. Ten mechanizm je co
najwyżej wykrywa. W run-time. Nic nie stoi na przeszkodzie, żeby
wysłać klientowi program z błędem i w tym kontekście uważam, że Java
nie wnosi istotnego postępu w dziedzinie poprawności.

> Poza tym chodzi tu o cały pakiet tego typu wymogów językowych - m.in.  
> jawne deklarowanie rzucanych wyjątków,

Jawne deklarowanie wyjątków się nie sprawdziło w praktyce i Javowcy
masowo to pomijają. Nie, nie chodzi o początkujących adeptów, robią
tak również projektanci poważnych frameworków. Po prostu się nie
sprawdziło.

> silniejsza kontrola typów

Np. gdzie?

Bo ja znalazłem taki fajny przykład:

import java.util.TreeSet;

class NonComparable {}

public class Test {
public static void main(String[] args) {
TreeSet<NonComparable> mySet = new TreeSet<NonComparable>();
mySet.add(new NonComparable());
mySet.add(new NonComparable());
}
}

W funkcji main są trzy linijki.
W języku z poważną statyczną kontrolą typów powinien być błąd
kompilacji w pierwszej linii, gdzie tworzony jest bezsensowny typ
zbioru. Tak się stanie np. w Adzie (w równoważnym przykładzie).

W języku z trochę gorszą kontrolą typów poleci błąd kompilacji w
drugiej linii, gdzie dodawany jest element do zbioru. Tak jest w C++.

W języku, który jest niepoważny, błąd poleci dopiero w run-time i
dopiero w trzeciej linii, chociaż ona kompletnie nie różni się od
drugiej. Tak jest w Javie i większości skryptowych.

Sorki, ale dla mnie to lipa.

> i tak  
> dalej.

To "i tak dalej" to głównie marketing.

> W dyskusji na temat tego, czy jeden język jest bardziej błędogenny od  
> drugiego warto zastanowić się, czy rozmawiamy o teorii, czy o praktyce.

Oj, tak. :-D

--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com