[nem-pl] Uwagi różne

["Paweł W. Olszta"]

Marcin 'Qrczak' Kowalczyk wrote:

> Nie zawsze. Na przykład nie chciałbym, żeby przy napisaniu 1/x wyskoczył
> błąd kompilacji, że kompilator nie jest pewien, czy przypadkiem x nie
> będzie 0. Błąd powinien wyskakiwać w czasie kompilacji tylko jeśli
> faktycznie jest błędem, a nie tylko czymś, co może być użyte poprawnie
> bądź nie.

No nie, to jest tak, że błąd w tym miejscu powienien wyskoczyć zawsze, 
jeśli kompilator nie potrafi sobie zinferować, że x jest różne od zera 
(np. bo zobaczy wcześniej odpowiedniego if'a albo assert (x != 0)).

A to dlatego, że interesuje nas język/kompilator, w którym się pisze 
programy bezpieczne. Z doświadczenia wiem, że zakładanie, że programista 
wie co robi kończy się katastrofą ;)

-- 
If you're not confused, you're misinformed.