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

Transcript of 1_4 Disciplina de Tipos.pptx

Taller 19 curso redes sociales- intermedio 1_4

Disciplina Compañeros

Ejemplos de Disciplina

Inter Disciplina

Presentacion de disciplina

LEY DE DISCIPLINA FINANCIERA - congresodurango.gob.mxcongresodurango.gob.mx/Archivos/legislacion/LEY DE DISCIPLINA... · ley de disciplina financiera y de responsabilidad hacendaria

Proyecto de Disciplina

Disciplina escolar

Disciplina no es sinónimo de violencia, disciplina desde la escuela

Disciplina de Mercado

Taller 23 curso redes sociales- avanzado 1_4

Disciplina familiar

C-16-1_4. Contextualización, caracterización y análisis para el diagnóstico urbano patrimonial - Víctor Pérez Eguíluz (IUU-UVa)

Disciplina emocional

Disciplina de Alexander

Disciplina Financiera de Entidades Subnacionales Ley Secundaria sobre... · Disciplina Financiera de Entidades ... Ley de Disciplina Financiera de las Entidades Federativas y Municipios

Disciplina Empresarial

Disciplina de Mercado Datos para Disciplina de Mercado · Banco Municipal Datos para Disciplina de Mercado Disciplina de Mercado Entidad: Período:30/06/2018 Banco Municipal de Rosario

Macroeconomía - Blanchard-cap-1_4.pdf

Disciplina de Mercado Requisitos mínimos de divulgación · Disciplina de Mercado Requisitos mínimos de divulgación Disciplina de Mercado Requisitos mínimos de divulgación ...