INSTITUTO TECNOLOGICO SUPERIOR

DE ALVARADO Lerdo de Tejada

INGENIERA EN
SISTEMAS COMPUTACIONALES

Materia:
Programacin Lgica y Funcional.

Semestre - Grupo - Sistema:

7 Semestre - Grupo B Semi escolarizado.

Producto Acadmico:
- Investigacin: - Disciplina de Tipos

Presentan:
Cruz Lzaro Carlos Alexis

Docente:
MCA Alfonso Rosas Escobedo

LERDO DE TEJADA, VER. AGO. DIC. 2017

[1]
 NDICE

ndice ................................................................................................................................. 2

Introduccin3

Disciplina de Tipos ............................................................................................................. 4

Disciplina de Tipos en Lenguaje Java ............................................................................. 4

Disciplina de Tipos en Lenguaje C ............................................................................... 5

Disciplina de Tipos en Lenguaje Prolog .................................................................... 5

Fuentes de informacin ..................................................................................................... 6

Introduccin

[2]
El presente documento contiene una recopilacin de informacin organizada y detallada
referente a la disciplina de tipos, una caracterstica propia de algunos lenguajes de
programacin que los distingue de los dems.

[3]
Disciplina de Tipos

Un tipo es una coleccin de valores relacionados. En los lenguajes de programacin con

disciplina de tipos, cada tipo representa una coleccin de valores o datos similares. 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 compilacin o de
ejecucin. El conocer los tipos de las funciones ayuda a documentar los programas y evitar
errores en tiempo de ejecucin.

Disciplina de Tipos en el Lenguaje Java

Existen tres tipos que se manejan en Java:
- Herencia
- Polimorfismo
- Disciplina de Tipos Esttica

Herencia
Cuando una clase se deriva de otra de manera que extiende su funcionalidad.

Polimorfismo
Se encarga de permitir que una misma funcin se pueda aplicar a parmetros del mismo
tipo.

Disciplina Esttica de Tipos

Los programas bien tipados se pueden reconocer en tiempo de compilacin, un programa
bien tipado se puede utilizar sin efectuar comprobaciones de tipo en tiempo de ejecucin.
Estando garantizado que no se producirn errores de tipo durante el cmputo.
A grandes rasgos, es cuando la comprobacin de tipificacin se realiza durante la
compilacin, y no durante la ejecucin.

[4]
Disciplina de Tipos en el Lenguaje C

A diferencia de Jaca no cuenta con herencia, debido a ser un lenguaje estructurado, no

obstante sigue contando con el polimorfismo y tambin maneja una disciplina de tipos
esttica fuerte, la cual no permite violaciones de los tipos de datos.
- Permite funciones con parmetros sobre los que no se realiza comprobacin de tipos.

Disciplina de Tipos en el Lenguaje Prolog

En este lenguaje slo existe la disciplina de tipos dinmica, la que permite que una variable
pueda tomar valores de distinto tipo en distintos momentos. La mayora de lenguajes de
tipado dinmico son lenguajes interpretados.

[5]
Fuentes de Informacin

https://es.slideshare.net/AlejandraMA4/programacin-lgica-y-funcional

http://programacionlogyfun.blogspot.mx/2016/03/programacion-logica-y-funcional-
la.html

https://programacionlogicayfuncional.wordpress.com/2014/02/13/disciplina-de-tipos/

https://prezi.com/lk1q6zrr6tpc/14-disciplina-de-tipos/

[6]