1_4 disciplina de tipos.pptx

MTI. Rosa Imelda García ChiProgramación Lógica y Funcional

PLYFUNIDAD 1. Conceptos

FundamentalesEnero-Junio 2014

MTI. Rosa Imelda García Chi


1.4 DISCIPLINA DE TIPOSPROGRAMACIÓN LÓGICA FUNCIONAL


1.4. Disciplina de Tipos


Propósito de la disciplina de tipos

• En los lenguajes de programación con disciplina de tipos, cada tipo representa una colección de valores (datos) similares.

• Una función cuyo tipo sea A1->…An->R espera n parámetros con tipos A1,…,An y devuelve un resultado de tipo R.

• El conocer los tipos de las funciones ayuda a documentar los programas y a evitar errores en tiempo de ejecución


Haskell y otros

lenguajes funcionales utilizan el

sistema de tipos de

Milner que tienen dos

características

fundamentales:

• Disciplina estática de Tipos

• Polimorfismo


Disciplina estática de Tipos


Polimorfismo

Un programa bien tipado puede incluir definiciones de funciones

polimórficas.

El polimorfismo permite que una misma función se pueda aplicar a parámetros de diferentes tipos,

dependiendo del contexto en el quela función se utilice.


Inferencia de tipos


El ejemplo motiva que al formular reglas de inferencia de tipos es necesario indicar explícitamente (por medio de una cuantificación universal) aquellos parámetros de un tipo que se pueden particularizar reemplazándolos por tipos concretos cualesquiera.

Con esta motivación, se distinguirá entre los tipos simples y los tipos genéricos que incluyen parámetros cuantificados universalmente.


Tipos simples y genéricos


Reglas de inferencias de Tipos


Ahora ya se pueden formular las reglas de inferencia de tipos.

Cada una de ellas va a ser de la forma


Uso de las reglas de inferencia de tipos

A continuación, se muestran algunos ejemplos de inferencia de tipos.En cada caso se trata de demostrar una afirmación de la forma en varios pasos, utilizando las reglas que acabamos de formular.Los dos primeros ejemplos ilustran el uso de las reglas más básicas


Tipo principal de una expresión


Intuitivamente, el primero de los tres tipos anteriores es más general que los otros dos.

Para precisar cuando se considera que un tipo es más general que otro, damos las siguiente definición:


Clases de tipos y tipos cualificados


Declaraciones de clase y de ejemplar

• Las clases de tipos se definen mediante declaraciones de clase, de la forma:

• Class CL a where


Subclase y herencia


Ejemplos de uso de tipos cualificados


Los ejemplos muestran que un tipo cualificado puede tener algunos parámetros completamente genéricos y

otros restringidos de manera que solo se pueden sustituir por ejemplares de ciertas clases de tipos.


Algunas clases de tipos predefinidos en Haskell


¡Por su atención gracias!

1_4 disciplina de tipos.pptx

Documents