Typová inference: Porovnání verzí

Přidáno 221 bajtů ,  před 8 měsíci
m
+inference typových parametrů
m (+inference typových parametrů)
 
A nebo, jsou situace, kdy je třeba typ explicitně uvést, protože by kompilátor zvolil jiný, například příliš obecný, nebo příliš konkrétní, který vývojáři nevyhovuje.
 
V jazycích s generickým typovým systémem lze odvozovat také typové parametry.<ref>Algoritmus pro inferenci typových parametrů [https://saidheans.blogspot.com/2021/02/algoritmus-pro-inferenci-typovych.html]</ref>
 
== Jazyky podporující typovou inferenci ==