[nem-pl] Uwagi różne

["Paweł W. Olszta"]

Michal Moskal 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)).
> 
> Hem? Przecież w naszym systemie typów nie ma nic o dzieleniu przez zero.
> Zresztą wykrywanie błędów w makrach będzie raczej przepuszczać błędy
> niż odwalać dobre programy.

Nie miałem na myśli konkretnie naszego systemu typów czy makr, tylko 
ogólnie to, co myślę na temat zgłaszania błędów w kompilacji ;)

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