1.2.3 Diciplina tipos
DISCIPLINA DE TIPOS “Los tipos se infieren, es decir se comprueban, de forma estática, en tiempo de compilación.” En los lenguajes de programación con disciplina de tipos, cada tipo representa una colección de valores o datos similares. El conocer los tipos de las funciones ayuda a documentar los programas y evitar errores en tiempo de ejecución. Un lenguaje tiene disciplina de tipos si los errores de tipos se detectan siempre, es necesario determinar los tipos de todos los operandos, ya sea en tiempo de compilación o de ejecución. Pascal Cercano a tener disciplina de tipos pero no realiza comprobación de tipos en los registros variantes (incluso puede omitirse la etiqueta discriminatoria en dichos registros). Ada • Resuelve el problema de los registros variantes realizando comprobación dinámica de tipos (sólo en este caso) • Tiene una función de biblioteca que permite extraer un valor de una variable de cualquier tipo (como u...
Comentarios
Publicar un comentario