lambda-cÃ¡lculo no tipado - QueGrande

More documents

Recommendations

Info

REGISTROS Generalización de las tuplas a registros etiquetados. SUMAS Tipo suma: describe a un conjunto de valores que pueden pertenecer únicamente a dos tipos de datos. Para manipular ambos tipos de forma homogénea, creamos el siguiente tipo suma: Para inyectar elementos de los tipos constituyentes en el nuevo tipo: El constructor case permite determinar cuando un elemento proviene de la parte derecha o izquierda de la suma.
Sumas y unicidad de tipos Falla la unicidad de tipos para las construcciones inl e inr. La estrategia que seguiremos será obligar al programador a que indique explícitemente el tipo de T 2 . Son necesarias las siguientes extensiones:
Page 1 and 2: SISTEMAS NO TIPADOS
Page 3 and 4: Estrategias de evaluación en el la
Page 6 and 7: Sustitución Semántica operacional
Page 8 and 9: ● El contructor de tipos → es a
Page 10 and 11: 2. Considerar como una abreviación
Page 14 and 15: VARIANTES Las sumas binarias se ge
Page 16 and 17: Para comprobar el número de ocupan
Page 18 and 19: equals_aux : (Nat → Nat → Bool)
Page 20 and 21: LISTAS cons[T] t 1 t 2 representa
Page 22 and 23: REFERENCIAS A TIPOS COMPUESTOS GARB
Page 24 and 25: EXCEPCIONES LANZAMIENTO DE EXCEPCIO
Page 26: 2. El subtipado es transitivo: En e
Page 29 and 30: Ejemplo: VARIANTES LISTAS REFERENCI

lambda-cÃ¡lculo no tipado - QueGrande

Create successful ePaper yourself

Delete template?

Save as template?