Citat:
jablan: Drugo, statični jezici definitivno ne rešavaju problem sloppy programera. ... To su takođe greške gde vam kompajler neće pomoći...
Ovo je tacno, ali boxing je ujedno i jedini aspekt c#-a koji je podlozan ovome. Za to sluzi ovaj VS regular expression pattern

:
Code:
([^\(]object)|(\(:i\)[^\.;\)])
i ocekujem objasnjenje za svaki match koji nije auto-generisan. Moras priznati da je jednostavnije od pokusavanja da provalis na sta tip lici u kom trenutku izvrsavanja.
Citat:
jablan: Ja nisam bio upoznat...
Ja jesam, i opet se slazem sa tobom, infered tipovi su i dalje staticki tipovi, samo se kompajleru daje voljno da sam protumaci tip na osnovu inicijalne dodele. Nema tu nikakve magije, to je jednostavno privid dinamicnosti kroz "varanje"

Kunem se, mislim da ovo nikad ne bi ubacili u C# da im nije trebalo kao platforma za anonymous tipove u LINQ-u. Za sve ostale primene infered tipovi jednostavno nemaju smisla.
Citat:
negyxo: U c# mislim da je int32 ali to moze da se razlikuje od kompajlera do kompajlera. Verovatno je sve stvar dogovora, kompromisa.
I sad meni neko hoce da kaze da je dinamicnost dobra

Ma daj, ako ja treba stalno da "citam misli" kompajleru onda ode mas' u propas'.
Citat:
jablan[/url]:If you have pervasive testing, static typing == more typing. The static typing is nothing but a requirement to type extraneous code to satisfy a compiler that isn't telling you anything interesting anymore.
Slazem se sa prvim delom, ali ne i sa drugim. Zaista je more typing u samom programu, ali ne slazem se da mi kompajler ne daje nista interesantno, daje mi potvrdu da program nece puci zbog nestabilnosti tipova.
Necu ni da komentarisem ovaj new age movement oko testiranja, testiranje je veoma dobar pristup, ali talking about overdoing it... Da bi tvoj dinamicki kod stvarno bio u potpunosti istestiran par-to-par sa ekvivalentnim statickim kodom tvoji testovi moraju da sadrze sve provere koje bi inace staticki kompajler obavio tokom builda. Suma sumarum kolicina koda koju napises mora biti veca u dinamickom aspetku od statickog zato sto staticki kompajler to vec ima ugradjeno i ne mora biti predmet testiranja

Ako nije vise koda onda nisi test uradio kako treba. Iz nekog razloga svi ti new-age testing funadmentalisti i proroci misle da testing code nastaje ni iz cega i da ne kosta nista i da je to odgovor na sve nase probleme oko kvaliteta koda. E pa nije.
I pride jos imas nezgodan aspekt da se tipovi menjaju tokom izvrsavanja programa i da tvoji testovi moraju to da imaju u vidu i da je skoro nemoguce predvideti sve moguce situacije koje ce dovesti do razlicitih "verzija" istog tipa, sto isto vodi kompleksnosti testova i dodatne mogucnosti za ljudske greske u samom testu.
Tako da ja ne kupujem ideju da je testing validna alternativa statickim tipovima i da kvalitet proizvoda dinamickog jezika podize na isti nivo.
Sloba je za 12 godina promenio antropološki kod srpskog naroda. On je od jednog
naroda koji je bio veseo, pomalo površan, od jednog naroda koji je bio znatiželjan, koji
je voleo da vidi, da putuje, da upozna,
od naroda koji je bio kosmopolitski napravio narod koji je namršten, mrzovoljan,
sumnjicav, zaplašen, narod koji se stalno nešto žali, kome je stalno neko kriv - Z.Đinđić