Sémantika programovacích jazyků: Porovnání verzí
Smazaný obsah Přidaný obsah
opraveny odkaz Hoarova logika na Hoareova logika, momentalne funguje značka: editace z Vizuálního editoru |
→Silné a slabé typové kontroly: linkfixy značka: editace z Vizuálního editoru |
||
Řádek 26:
=== Silné a slabé typové kontroly ===
* Většina dynamický typovaných jazyků vykonává silné typové kontroly za běhu programu.
* Staticky silně typované [[Java
* K staticky slabě typovaným jazykům patří například jazyk [[C (programovací jazyk)|C]] a [[JavaScript]].
== Přehled ==
| |||