Typová inference: Porovnání verzí
Smazaný obsah Přidaný obsah
→Jazyky podporující typovou inferenci: + jazyk D |
m +inference typových parametrů |
||
Řádek 16:
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 ==
| |||