Tak jsem chtel overit tu haskell ukazku a zjistil, ze haskell je tak okrajovy jazyk, ze neni k dispozici v termuxu. Hledal jsem balicek s nazvem haskell nebo ghc. Seznam balicku: https://pastebin.com/kdfgUFRt To jen upevnuje me presvedceni, ze nema smysl ztracet cas okrajovymi nepodporovanymi jazyky. Je schopen to nekdo predvest v jinem jazyku ktery je mezi balicky? (je tam kde co, rust, vala, erlang, java, ocaml, golang, clang, racket, ...) Nebo se jedna ciste o schopnost haskellu, ktera je tu mylne prisuzovana jazykum se statickymi typy?
To je tak pitomá metrika (přítomnost v termuxu) a tak pitomý argument (když je to v Haskellu a opírá se to o statické typy, tak to nutně je demonstrace výhod statických typů)...
To neni metrika, proste si to nemam kde zkusit a z toho plyne muj osobni nezajem.
Neni to demonstrace vyhod statickych typu, pokud je haskell jediny jazyk, ktery to umi. V takovem pripade je to demonstrace vyhoda haskellu. Na tom zalozene tvrzeni o statickych typech je argumentacni klam, predcasna generalizace.
Srovnej. Implicitni pretypovani v jazyce C se take opira o staticke typy a prameni z toho nestabilita a chybovost programu napsanych v C. Je tedy nestabilitu a chybovost programu mozno oznacit za nevyhodu statickych typu? Nebo je to vlastnost jazyka, nikoliv statickych typu?
Pokud se chceme bavit o vyhodach statickych typu, musite najit vlastnosti, ktere jsou spolecne jazykum se statickymi vlastnostmi a chybi jazykum s dynamickymi typy. Obavam se, ze krom vykonove optimalizace zadnou vyhodu statickych typu nikdo nenalezne. Ony i dynamicke jazyky mohou mit silny typovy system, viz treba Julia. Rada vlastnosti tady pripisovana statickym typum pak neni cizi ani nekterym dynamickym jazykum. Viz například zde oblíbené tvrzení o refaktoringu, přičemž jehož původ je v dynamickém smalltalku.
1355 Odpovědí
171244 Zhlédnutí