Ja to vidim podobne jako Inkvizitor - taky jsem Python zacal pouzival okolo roku 2001, a v te dobe to bylo prijemne jednodussi nez vsechno ostatni okolo. Pozdeji jsem si oblibil Common Lisp a Haskell, ale Python mi porad jde nejlepe.
Ale zacinat znovu, tak rovnou u Haskellu... jak uz jsem ti psal, s dobrou typovou inferenci se vyhoda dynamickeho typovani znacne snizuje. Takze pocitam, ze soucasny trend je (velmi pomaly) postupny navrat ke statickemu typovani diky rozsireni typove inference.
Takže když si to shrnu, dynamické typování nemá žádné principielní výhody. Jen je to zkrátka a dobře jednodužší na implementaci a naučení. Můžeme se bavit o tom, že je tu jakýsi historický balast, který si vývojáři nesou (například představa ukecanosti, představa pouze základních typů, nepochopení důsledků typové kontroly, etc) vytvářející mýtus výhod, ale jinak asi nic výraznějšího tam nebude. Souhlas?
+1
Kdyz se nam tu tedy formuje nejaky konsenzus... Tak se zeptam.
Z toho co tu ctu to vypada, ze staticke typovani (a la haskell) ma jistou evolucni vyhodu pred dynamickym.
Z dlouhodobeho hlediska muzeme tedy predokladat vymizeni dynamicky typovanych jazyku?
(at uz tim, ze se prestanou pouzivat, nebo tim, ze do nich typy proniknou)
Nejake odhady kdy to bude?