🚀 go-pugleaf

On 16.05.2011 22:18, Rob Wolfe wrote:

>
> Ok, mamy różne pojęcie o tym jaki błąd jest oczywisty. ;)
> Tak, interfejsów statycznie nie da się sprawdzić w Pythonie.
> Wspominałem też o testach, które by tu pasowały jak ulał.

Pokrycie testami 100% kodu ze wszystkim ścieżkami jest dosyć trudne.


Przykład ze stosunkowo małego systemiku:
Była sobie struktura danych, która pierwotnie zawierała kilka wartości 
("kilka" jak wiadomo to przedział <0..3> ) ;) i była zwyczajną listą. Na 
pewnym etapie tych wartości skokowo przybyło i żeby się nie gubić co 
jest gdzie, podjęto decyzję że zamiast listy będzie słownik. Wykonano 
mały refactoring.
Gdzieś była funkcja, która musiała przejechać się po wartościach z 
otrzymanej struktury. Pierwotnie iterowała po liście, teraz iterowała po 
values() ze słownika. Testy odpalone i było git.

Po jakimś czasie zanotowano pad. Co się okazało? W innym miejscu była 
sobie zapomniana funkcja generująca w pewnych (rzadkich) przypadkach 
defaulty dla struktury. I ona dalej generowała listę. Ta funkcja też 
była pokryta testem, ale był to inny zestaw testów i też przez 
zapomnienie nie został przerobiony. I dla niego poprawnym wynikiem była 
wygenerowana lista, a nie dict. :(

Banalny błąd. Powiesz że coś takiego nie powinno się zdarzać.  Ale 
niestety czasami się zdarza.




> Są też asercje. Można kontrolować interfejsy w runtime'ie itp.

Kontrolowanie w runtime ma tę wadę, że odbywa się w runtime ;).
Dla usera jest w zasadzie obojętne, czy dostanie kawał traceback-a, czy 
okienko dialogowe z informacją "Funkcja foo_shmoo_bar_extended otrzymała 
nieprawidłowy parametr wywołania: powinien być <type 'dict'>, jest <type 
'list'>".
Ważne że program nie bangla.


>
> Chodzi mi o to, że w praktyce nie zauważyłem, aby statyczne
> typy pomagały. Wręcz przeciwnie, muszę się narzeźbić jak debil,
> aby zadowolić kompilator,

Ja nie neguję, że w pythonie pisze się łatwiej i szybciej. I przyjemniej ;)
Za to przy refactoringu bywa na odwrót.



> Natomiast często słyszę jak to w Pythonie można zrobić głupią literówkę
> i szukać naście dni. To jest kompletna bzdura i z tym walczę.

Pewnie że bzdura. Niemniej w pythonie _można_ zrobić literówkę i przy 
dużym braku szczęścia objawi się na produkcji.

Pzdr
J.