Tipificación latente

Sistema de tipos donde los tipos están asociados a valores y no a variables

En programación informática , la tipificación latente se refiere a un sistema de tipos en el que los tipos están asociados a valores y no a variables . ^[1] Un ejemplo de lenguaje con tipificación latente es Scheme . Esto normalmente requiere una comprobación de tipos en tiempo de ejecución y, por lo tanto, se utiliza comúnmente como sinónimo de tipificación dinámica . ^[2]

Véase también

• Pato escribiendo

Referencias

1. Allen B. Tucker (28 de junio de 2004). Manual de informática, segunda edición. Taylor & Francis. pp. 92–. ISBN 978-1-58488-360-9.
2. Benjamin C. Pierce (enero de 2002). Tipos y lenguajes de programación. MIT Press. pp. 2–. ISBN 978-0-262-16209-8.