Vymazání typu - Type erasure

v programovací jazyky, vymazání typu je doba načítání proces, kterým explicitní zadejte poznámky jsou z programu odstraněny před spuštěním v run-time. Provozní sémantika které nevyžadují, aby programy byly doprovázeny typy, jsou volány sémantika mazání typů, které mají být porovnány s sémantika předávání typů. Možnost dát sémantiku mazání typu je něco jako princip abstrakce zajišťující, že spuštění programu za běhu nezávisí na informacích o typu. V kontextu generické programování se nazývá opak mazání typu reifikace.^[1]

Odvození typu

Je vyvolána zpětná operace odvození typu. Ačkoli lze vymazání typu použít jako snadný způsob, jak definovat psaní nad implicitně zadanými jazyky (implicitně zadaný termín je dobře napsaný) kdyby a jen kdyby je to vymazání dobře napsaného výslovně napsaného lambda termín ), nemusí vždy vést k algoritmu ke kontrole implicitně zadaných výrazů.

Viz také

• Šablona (C ++)
• Problémy s vymazáním typu (v Obecné v Javě )
• Zadejte polymorfismus

Reference

• Crary, Karl; Weirich, Stephanie; Morrisett, Greg (2002). „Intenzionální polymorfismus v sémantice mazání typů“. Journal of Functional Programming. 12 (6): 567–600. CiteSeerX  10.1.1.5.4507. doi:10.1017 / S0956796801004282.

Tento počítačová věda článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.