Ma staticke typovani nejakou dalsi vyhodu pred dynamickym krome toho, ze ta kontrola typu probehne pred nasazenim?
Že kontrola probíhá před nasazením je vlastnost, ne konkrétní výhoda. Výhody jsou třeba takové, že:
1. Kompilátor nedovolí překlad, pokud má protichůdné či nedostatečné informace o typu. To jsi měl asi na mysli.
2. Vývojový nástroj (který s kompilátorem může sdílet některé komponenty) člověku ještě před samotnou kompilací v reálném čase ty nedostatky může hlásit (nevím, co v tomto může navíc nabídnout Tvůj REPL driven development).
3. Vývojový nástroj ukazuje typ proměnné/hodnoty/parametru apod. díky inferenci. Při vývoji neustále vím, co za data tam leze, jakou mají vnitřní strukturu (zde už může docházet i k našeptávání atributů ve strukturovaných datech apod.).
Tak mam dojem ze uz se tu kdysi resilo, ze 2 a 3 umi jetbrains resit i u pythonu.
Co umi RDD navic?
Proste si muzu pri vyvoji uprostred psani funkce provolat nejakej vyraz a videt co se mi vrati.
Cela funkce muze bejt i nezkompilovatelna ... ja si poustim jen ten jeden vyraz.
Vim ze jinde mi dokaze treba ide rict, jestli se to zkompiluje.. ale REPL mi rovnou rekne vysledky.
Mam bezici runtime a do nej si evaluaci propaguju definice funkci. A muzu si je volat.
V priloze sem cervenym obdelnickem vyznacil jak se mi ukaze navratova hodnota po "C+x e"
Kdyz si zkusim spustit (hello "Paul") tak na me vybehne to co je v druhe priloze.
Ano nepouzil sem ten spectum takze je to dynamicky vyhodnocovane tim, ze si to spoustim. A tady v tom pripade dokonce s konkretni hodnoutou takze to neni uplne vypovidajici pripad.
Nicmene to melo ukazat to ze zkouset konformitu vuci specifikovanemu typu muzu jeste "pred kompilaci" takze mam driv feedback. Samozrejme, ze tam ta kompilace je, ale vyvojar se o ni nezajima... neni to takovy ten meznik tak a ted si to zbuilduju a nasadim.... je to proste jen tuknuti do klavesnice a vysledek je hned.
Tezko se to vysvetluje... lip se to ukazuje.
Zobrazit příspěvky
