En programación de computadoras , la tipificación latente se refiere a un sistema de tipos donde los tipos están asociados con valores y no con variables . [1] Un ejemplo de lenguaje escrito de forma latente es Scheme . Por lo general, esto requiere una verificación de tipo en tiempo de ejecución y, por lo tanto, se usa comúnmente como sinónimo de escritura dinámica . [2]
Ver también
Referencias
- ^ Allen B. Tucker (28 de junio de 2004). Manual de informática, segunda edición . Taylor y Francis. págs. 92–. ISBN 978-1-58488-360-9.
- ^ Benjamin C. Pierce (enero de 2002). Tipos y lenguajes de programación . Prensa del MIT. págs. 2–. ISBN 978-0-262-16209-8.