Latentní psaní - Latent typing
Typové systémy |
---|
Obecné pojmy |
Hlavní kategorie |
Menší kategorie |
Viz také |
v programování, latentní psaní odkazuje na systém typů, se kterými jsou typy spojeny hodnoty a ne proměnné.[1] Příkladem latentně zadaného jazyka je Systém. To obvykle vyžaduje kontrolu typu za běhu, a proto se běžně používá jako synonymum dynamické psaní.[2]
Viz také
Reference
- ^ Allen B. Tucker (28. června 2004). Příručka k počítačové vědě, druhé vydání. Taylor & Francis. str. 92–. ISBN 978-1-58488-360-9.
- ^ Benjamin C. Pierce (leden 2002). Typy a programovací jazyky. MIT Stiskněte. s. 2–. ISBN 978-0-262-16209-8.
Tento teorie programovacího jazyka nebo teorie typů související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |
![]() | Tento programovací jazyk související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |