Vlákno názorů k článku Úvod do jazyka Reason: reference a generalizace od Zboj - "Osobně si myslím, že tzv. dynamicky typované jazyky...

"Osobně si myslím, že tzv. dynamicky typované jazyky jako JavaScript už nemají budoucnost, svět bude patřit staticky typovaným jazykům."

V to pevně doufám, dynamické jazyky jsou zlo. Dnes už je teorie typů dostatečně rozpracována, aby mohla posloužit v praxi.

Rad bych si vyslechl nejake protiargumenty od lidi kteri dali dislike tomuto prispevku :-) se Zbojem v tomto pripade maximalne souhlasim.

Mě by zajímaly argumenty obou stran. Dynamicky typované jazyky byly před lety progresivní novinka, klasické jazyky (C, Pascal, Fortran atd. typovaly staticky. Umím si představit výhody i nevýhody obou, ale a priori tvrdit, že něco nemá budoucnost?

Usuzuji podle toho, že existující tzv. dynamicky typované jazyky přidávají podporu pro statické typování - konkrétně Python (zatím volitelně: PEP-484, Mypy, PyAnnotate) nebo Dart 2 (ve druhé verzi je Dart nově staticky typovaný a s korektním typovým systémem) nebo JavaScript (TypeScript, Flow).

Díky pokrokům v typové inferenci už není třeba explicitně otypovat každý řádek, takže statické typování již není rušivé, ba naopak, staticky typované programy jsou přehlednější, neb statické typy slouží jako dokumentace, kterou kompilátor umí zkontrolovat. Díky statickým typům programátor a i jeho IDE rozumí programům více, což se projevuje ve vyšší produktivitě a menším množství chyb.

staticky typované programy jsou přehlednější, neb statické typy slouží jako dokumentace, kterou kompilátor umí zkontrolovat.

Toto slycham uz petadvacet let. V davnych casech se to pouzivalo k dukazu nadrazenosti Pascalu nad cimkoliv, protoze ten te jeste nutil na zacatku procedury deklarovat hezky vsechny promenne, navesti a tak, abys nahodou na nic nezapomnel a nemohl udelat chybu.

no teorie mozna propracovane jsou ale v praxi ma ocaml (a tedy nejspis i reasonml) jeden operator + pro cela cisla a druhy +. pro floats; to je tak trochu anachronismus pro uzivatele prakticky libovolneho jazyka..

Mám opačný názor... dynamická typovosť nie je zlo a má budúcnosť, samozrejme v určitých situáciách je statická typovosť nutná, ale obe majú výhody a nevýhody... a nejde uprednostnit jedno pred druhym v kazdej situacii.

A Javascript má budúcnosť, je to práve takmer jeden z najlepších jazykov najmä kvoli asynchronnosti, dynamickosti, tekutej syntaxe, a je oddelenej logike, a tiez kvoli "miliarde knihovien a frameworkov"... p.s. JS dokáže aj ("pseudo") statickú typovosť.

A vlastne "vie" aj plnú statickú typovosť, vlastne nie priamo JS ale jak už bylo zmíneno flow a typescript.

Jestli Javascript bude vládnout světu, tak si hodím mašli. "Tekutej syntaxe" - no právě, že je poněkud tekutá.

Dnes už je teorie typů dostatečně rozpracována, aby mohla posloužit v praxi.

Asi pred pul rokem jsem delal pruzkum mezi beznymi programatory (vetsinou Java, C#), kolik z nich v zivote vytvorilo generickou tridu (mimo cviceni ve skole). Vyslo to tak, ze kazdy dvacaty uz nejakou tu generickou tridu vytvoril. Poptavka po propracovanych typovych systemech je opravdu mohutna.

navrhuju experiment - části seberte generické třídy a části dejte jazyk, který umožňuje pohodlně využívat moderní typový systém

Tak Zboj je známý proponent statických typů.
Dynamické typování je určitě lepší na vytvoření prototypů, různé skripty, utility, testy, benchmarky a určitě by se toho ještě spoustu našlo. Statické typy pak na rozsáhlé aplikace o mnoho vývojářích.

Ideální cestou jde podle mě to, jak to dělá Dart, Typescript, možná Haxe i když to je trochu něco jiného. V zásadě dynamické prostředí, které umožní hot reload, nahrávání kódu za běhu a takové ty features, které velmi usnadňují a urychlují práci a k tomu nějaká statická nadstavba se silnými typy.

Na druhou stranu třeba Clojure je pokud si pamatuji dynamicky typované a spousta lidí si ho nemůže vynachválit.

Najlepsia je kombinacia silnej statickej typovosti s type inference a dynamickymi rozsireniami tak ako to maju funkcionalne jazyky.

v typescripte je sice silna staticka kontrola ale dynamicke moznosti su ziadne... neviem pomocou jazyka za behu overit typy... Neviem overit dokonca ani to ci do premennej typu number nacitam naozaj number. Ba za behu neviem zistit ani typ premennej, musia mi stacit len zakladne typy JSka nic take ako reflexiu tam nemame, typescript je v tomto smere velmi hlupa nadstavba, ktora sa spolieha len na kompilator ale s behovym prostredim si absolutne nerozumie.