Diskuze: Dynamická vs. Statická typová kontrola
V předchozím kvízu, Test znalostí C# .NET online, jsme si ověřili nabyté zkušenosti z kurzu.
Zobrazeno 5 zpráv z 5.
V předchozím kvízu, Test znalostí C# .NET online, jsme si ověřili nabyté zkušenosti z kurzu.
Tohle se mi líbí
“Dynamic typing is like speeding on the highway on a motorbike – exciting and dangerous. Static typing is like riding in a military tank – safe and slow. Neither is ideal. The solution is somewhere in-between.”
Za mne statické typování, u všech rozšířených dynamicky typovaných jazyků je velká snaha do nich typy dostat a vznikají nástavby, které to dělají. Je to proto, že se velké projekty dělají s dynamickým typováním opravdu špatně, IDE má problémy kódu rozumět i když je opravdu dobré, trpí refaktoring a napovídání.
Statické typování je lepší, už jen kvůli přehlednosti.
Já bych ještě uvedl na pravou míru. Když si pročtete tuhle diskusi:
https://news.ycombinator.com/item?…
zjistíte, že celá ta věta je posunutá trochu jinam. Když se zde mluví o typové bezpečnosti, tak např. java se zde nepovažuje za právě typově bezpečnou. Mluví se zde o funkcionálních jazycích, jmenovitě Scala a Haskell.
Yeah, Java is not a fair example. It has a type system with the worst compromise between being awkward (and infamously verbose) and not very effective: it gets the short end of the stick on both accounts. It's better than C, granted, but that's saying nothing. It does not compare to a good type system like Scala's or especially Haskell's.
Zobrazeno 5 zpráv z 5.