Estadísticas del PDF: Apuntes de Programación y estructuras de datos. Tipos de datos

Apuntes de Programación y estructuras de

datos. Tipos de datos

Nikos Mylonakis, Fernando Orejas y Ana Cristina Zoltan

[email protected]

Dept. Llenguatges i Sistemes Informátics Universitat Politécnica de Catalunya

Barcelona

Nikos Mylonakis, UPC (Spain)

March 4, 2010 – p.1/36

Introducción a la comprobación de
tipos

• Un tipo se puede definir como una propiedad de

un conjunto de valores

• Ejemplos: booleanos, enteros, entero_par,

entero_impar, tablas, tuplas, etc

• Los tipos también s...