You are on page 1of 21

DISCIPLINA DE

TIPOS
Banda Villeda Javier David
Cruz Zúñiga Samuel Eduardo
Contenido

■ Conceptos fundamentales
– Traductor
– Interprete
– Compilador
– Disciplina
– Tipado
■ Herencia
■ Polimorfismo
■ Disciplina estática
■ Proceso de compilación
■ Lenguajes no tipados
■ Lenguajes tipados
Traductor

Un traductor es un programa que tiene como entrada un texto escrito en un lenguaje


(lenguaje fuente) y como salida produce un texto escrito en un lenguaje (lenguaje
objeto) que preserva el significado de origen. Ejemplos de traductores son los
ensambladores y los compiladores.
Interprete

■ se caracteriza por traducir y ejecutar, de una en una, las instrucciones del código
fuente de un programa, pero, sin generar como salida código objeto. El proceso que
realiza un intérprete es el siguiente: lee la primera instrucción del código fuente, la
traduce a código objeto y la ejecuta; a continuación, hace lo mismo con la segunda
instrucción; y así sucesivamente, hasta llegar a la última instrucción del programa,
siempre y cuando, no se produzca ningún error que detenga el proceso.
Compilador

El compilador es una herramienta que toma el código que fue escrito en el editor y lo
convierte a un formato que será comprendido por la máquina. En los lenguajes de
programación tradicionales, mencionar la máquina es hacer referencia al computador
en el que estamos escribiendo el código.
Concepto de disciplina

■ Conjunto de reglas o normas cuyo cumplimiento de manera constante conducen a


cierto resultado.
Tipado

■ Hace referencia a la comprobación de tipos.


– Tipos de datos: Falta de compatibilidad.
– Polimorfismo: Es aplicable a algunas funciones que trabajan con distintos
tipos de datos.
– Herencia: Los tipos de datos pueden ser denominados objetos y pasar a otras
clases.
Herencia

La herencia permite la
creación de nuevas clases a
partir de otra ya existente; la
que sirve de modelo se llama
base y la que se creó, hereda:
sus características, además
se pueden personalizar
añadiendo rasgos
adicionales.
Polimorfismo

Es la propiedad que le permite a una


operación o función tener el mismo
nombre en clases diferentes y actuar
de modo distinto en cada una de ellas;
por ejemplo: se puede abrir una
puerta, una ventana, un libro, un
periódico, una cuenta en un banco,
una conversación, un congreso; en
cada caso se realiza una acción
diferente.
Disciplina de tipos estática

Los programas bien tipados se pueden conocer en tiempo de compilación. Un


programa bien tipado se puede utilizar sin efectuar comprobaciones de tipo en
tiempo de ejecución, estando garantizado que no se producirán errores de tipo
durante el computo.
Disciplina de tipos dinámica

■ En contra parte permite ejecutar código de forma más flexible aunque pudiera
ocasionar errores, entre las principales características están:

Menor velocidad de ejecución

Propenso a confusiones

Sin conversión de tipos (automática)


Proceso de compilación
Lenguajes con ausencia de disciplina
de tipos
■ También denominados de tipado débil.
Ejemplo en PHP
Ejemplo en JavaScript
Ejemplo con Perl
Lenguajes con disciplina de tipos

■ También denominados de tipado fuerte


Ejemplo con MySQL
Ejemplo con C#
Ejemplo con Java
Referencias

■ Paul Deitel. (2011). Cómo programar en JAVA. Pearson Educación de México, S.A.
de C.V.
■ Gil Rubio, F. (2006). Creación de sitios web con PHP5. Madrid: McGraw-Hill,
Interamericana de España.
■ CarloBenítez. (consultado el 16 de 01 de 2019). Etnassoft. Obtenido de
http://www.etnassoft.com/2011/01/27/tipado-blando-en-javascript/
■ MySQL. (consultado el 14 de 01 de 2019). MySQL::Developer zone. Obtenido de
http://php.net/manual/es/language.types.type-juggling.php
■ Perl. (consultado el 15 de 01 de 2019). Perl.org. Obtenido de
https://www.perl.org/books/beginning-perl/

You might also like