🚀 go-pugleaf

On 17 Maj, 09:35, "Stachu 'Dozzie' K."
<doz...@go.eat.some.screws.spammer.invalid> wrote:
> On 2011-05-16, Rob Wolfe <r...@smsnet.pl> wrote:
>
>
>
>
>
>
>
>
>
> > zbro...@tlen.pl writes:
>
> >> On 16.05.2011 15:49, Rob Wolfe wrote:
> >>> Nic podobnego. Tego typu proste bledy sa do wylapania uzywajac
> >>> statycznej analizy bez zadnego problemu.
>
> >>> $ cat test.py
> >>> lst = []
> >>> lst.keys()
> >>> $ pylint -E test.py
> >>> ************* Module test
> >>> E:  2: Instance of 'list' has no 'keys' member
>
> >> Takie też?
>
> >> def a(b):
> >>     print b.keys()
>
> >> x = []
> >> a(x)
>
> >> Tyle w temacie statycznej analizy.
>
> > Ok, mamy różne pojęcie o tym jaki błąd jest oczywisty. ;)
>
> A teraz sobie porównaj jak takie błędy się wychwytuje w Adzie, C++ albo
> w Javie.
>

Wiem jak w C++ i Javie. Juz pisalem w skrocie: "it compiles, shipt
it!".
Co z tego wynika, ze mi kompilator powie, ze typ sie zgadza?
Zupelnie nic. Czy nie jest czasem tak, ze operacje na tym typie
moga sie nie powiesc? Czy np. w przypadku polimorfizmu
moze zostac wywolana zupelnie inna metoda, niz sie spodziewales?
I milion innych rzeczy... No, ale sie skompilowalo! Great!

> > Tak, interfejsów statycznie nie da się sprawdzić w Pythonie.
> > Wspominałem też o testach, które by tu pasowały jak ulał.
> > Są też asercje. Można kontrolować interfejsy w runtime'ie itp.
>
> Można. Ale powinno to być wykonane podczas kompilacji -- bo się da.
>

Da sie kosztem, ktory imho jest kompletnie nie do przyjecia.

> > Chodzi mi o to, że w praktyce nie zauważyłem, aby statyczne
> > typy pomagały.
>
> A ile tego (języków ze statycznym typowaniem) używałeś i przy jak dużych
> projektach?
>

C++ i Javy, w projektach sporych mysle (ok 500 kloc).
Moge odwrocic pytanie. Jak duzy soft pisales w jezyku dynamicznie
typowanym
i jakim, aby twierdzic, ze sa do pisania duzych systemow gorsze?
Ludzie czesto argumentuja, ze w przypadku duzych systemow z "legacy"
kodem
bez statycznego typowania, to tylko szalency by probowali cos robic.
Mam do czynienia z takim systemem  i napatrzylem sie dosc
na cudowne mozliwosci statycznego typowania.
Nie zabieralbym glosu w tej sprawie, gdyby nie to ze bralem udzial tez
w projektach czysto pythonowych (ostatnio ok 50 kloc) i nie tesknilem
ani przez moment za statycznym typowaniem.

> > Wręcz przeciwnie, muszę się narzeźbić jak debil,
> > aby zadowolić kompilator, a w podziękowaniu dostaję segmentation fault.
>
> Urban legend.

Ok, dyskusja zmierza w kierunku dobrze znanym. Oba obozy sa mocno
okopane
i nic nie wskazuje, abym ja kogos przekonal albo ktos mnie.
Takze z mojej strony EOT.

RW