Typová kontrola: Porovnání verzí

Přidáno 749 bajtů ,  před 7 měsíci
+typová inference
m (Robot: -zastaralá značka HTML; kosmetické úpravy)
(+typová inference)
 
Uvedené proměnné <code>z</code> může ale nemusí být přiřazen datový typ, jazyk definuje výsledek konkrétně a program může běžet bez pádu a aniž by přiřadil chybnou hodnotu. Tím je zajištěna typová bezpečnost, avšak kdyby byla hodnota proměnné <code>y</code> řetězec, který nelze převést na číslo, bude výsledek nedefinovaný a program může vygenerovat nežádoucí výsledky.
 
== Automatické odvozování typů ==
 
Mnoho jazyků má silnou typovou kontrolu bez vyžadování explicitního uvádění typů proměnných. Například ve [[Swift (programovací jazyk)|Swift]]u lze napsat
 
<syntaxhighlight lang="javascript">
let x = 1234
let s = "abcd"
</syntaxhighlight>
 
přičemž překladač deklarovaným proměnným automaticky přiřadí odpovídající konkrétní typy.
Jazyky s [[generické programování|generickými typy]] mívají také automatické odvozování typových parametrů, takže vývojář nemusí uvádět při instanciaci funkce nebo metody příslušné typy.<ref>Algoritmus pro inferenci typových parametrů [https://saidheans.blogspot.com/2021/02/algoritmus-pro-inferenci-typovych.html]</ref>
 
== Literatura ==