[nem-pl] Uwagi różne

[Marcin 'Qrczak' Kowalczyk]

W liście z sob, 21-02-2004, godz. 12:13, "Paweł W. Olszta" pisze:

> Tutaj nie chodzi o to, żeby kompilator wykrył, że programista zrobił 
> błąd, tylko o to, żeby się upewnić, że programista przemyśłał to, co 
> napisał.

Tego nie da się automatycznie sprawdzić. Język programowania nie zastąpi
kompetencji programistów. Restrykcje nie spowodują, że gorsi programiści
zaczną pisać lepsze programy - spowodują tylko to, że programiści nie
będą mogli pisać programów wprost, tylko będą walczyć z językiem.

> Poza tym, jak w przykładzie wyżej: zwykła asercja rozwiązuje problem.

Nie, ona tworzy problem. Program robi się dłuższy, a znaczy to samo co
program używający dzielenia rzucającego wyjątkiem. Jeśli poza dzieleniem
przez 0 wiele innych *potencjalnych* błędów traktowanych są podobnie,
to w gąszczu asercji nie widać właściwego programu, a robi się więcej
możliwości popełniania błędów - asercje też mogą być błędne.

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak at knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/