Hispanopedia Wiki
Articulo de referencia

Tipificación latente

En programación informática , el tipado latente se refiere a un sistema de tipos donde los tipos se asocian con valores y no con variables . [ 1 ] Un ejemplo de lenguaje con tip...

Hispanopedia WikiContenido en espanolLectura gratuita

En programación informática , el tipado latente se refiere a un sistema de tipos donde los tipos se asocian con valores y no con variables . [ 1 ] Un ejemplo de lenguaje con tipado latente es Scheme . Este suele requerir verificación de tipos en tiempo de ejecución y, por lo tanto, se usa comúnmente como sinónimo de tipado dinámico . [ 2 ]

Véase también

Referencias

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