Evidencia 3 -Presentación Electrónica - Comprobación de tipos

Vista previa del material en texto

COMPROBACIÓN 
DE TIPOS Y 
ERRORES 
SEMÁNTICOS
MIGUEL ANGEL DE LA CRUZ CENTENO.
TIPOS DE ERRORES
En programación, existen varios tipos de errores que pueden ocurrir durante 
el proceso de desarrollo de software. Estos errores se dividen comúnmente 
en tres categorías principales: errores de sintaxis, errores de tiempo de 
ejecución y errores de lógica.
Errores de Sintaxis:
•Los errores de sintaxis son los errores más básicos y comunes en programación. Ocurren cuando el 
código no sigue la estructura y reglas gramaticales del lenguaje de programación.
•Ejemplos: Falta de punto y coma al final de una línea, paréntesis sin cerrar, uso incorrecto de comillas, 
errores de indentación, nombres de variables ilegales, etc.
Errores de Tiempo de Ejecución:
•Descripción: Los errores de tiempo de ejecución ocurren durante la ejecución del programa y 
generalmente están relacionados con problemas en tiempo de ejecución, como divisiones por cero, 
desbordamientos de memoria, intentos de acceso a variables no inicializadas, etc.
•Ejemplos: NullPointerException, ArrayIndexOutOfBoundsException, ArithmeticException, etc.
3 T I P O S D E E R R O R E S
Errores de Lógica:
•Descripción: Los errores de lógica son más sutiles y difíciles de detectar, ya que el código se 
ejecuta sin errores aparentes, pero produce resultados incorrectos debido a una mala lógica de 
programación.
•Ejemplos: Cálculos incorrectos, condiciones mal formuladas, bucles infinitos, algoritmos 
ineficientes, etc.
Errores de Comprobación de Tipos (Type Errors):
•Descripción: Estos errores ocurren cuando se intenta realizar una operación con un tipo de datos 
incompatible. Son un subconjunto de los errores de lógica que involucran la manipulación 
incorrecta de tipos de datos.
•Ejemplos: Sumar una cadena de texto y un número, intentar acceder a un método que no existe 
en un objeto, asignar un tipo de dato incorrecto a una variable, etc.
.
¿Qué es la Comprobación de Tipos?
La comprobación de tipos, también conocida como verificación de tipos, es un proceso fundamental 
en programación que consiste en verificar si los tipos de datos utilizados en un programa son 
coherentes y compatibles según las reglas definidas por el lenguaje de programación. En otras 
palabras, se trata de asegurarse de que las operaciones que se realizan en un programa sean válidas 
en función de los tipos de datos involucrados.
5 ¿ Q u é e s l a C o m p r o b a c i ó n d e T i p o s ?
1.Tipos de Datos: Los lenguajes de programación tienen 
tipos de datos, como enteros, cadenas de texto, números de 
punto flotante, booleanos, etc. Cada tipo de dato tiene sus 
propias propiedades y reglas de operación.
2.Coherencia de Tipos: La comprobación de tipos garantiza 
que las operaciones en un programa estén permitidas y 
tengan sentido según los tipos de datos involucrados
3.Tipado Estático vs. Tipado Dinámico: Los lenguajes de 
programación pueden ser de tipado estático o tipado 
dinámico. 
4.Errores de Comprobación de Tipos: Si se intenta realizar 
una operación que no es coherente con los tipos de datos 
involucrados, el lenguaje de programación generará un error 
de comprobación de tipos. 
5.Polimorfismo y Comprobación de Tipos: En lenguajes 
orientados a objetos, como Java o C++, la comprobación de 
tipos también está relacionada con el polimorfismo, que 
permite que objetos de diferentes clases se comporten de 
manera similar. 
6
Lenguajes de Programación y Comprobación de Tipos
1. Tipado Estático:
Definición: En los lenguajes de tipado estático, los tipos de datos de las 
variables se verifican en tiempo de compilación. Esto significa que se debe 
especificar el tipo de cada variable cuando se declara y se verifica que las 
operaciones sean coherentes con los tipos declarados antes de que el 
programa se ejecute.
Ejemplos de lenguajes: Java, C++, C#, Swift, Rust, Kotlin.
2. Tipado Dinámico:
Definición: Los lenguajes de tipado dinámico no requieren que se 
especifiquen los tipos de datos de las variables al declararlas. La 
comprobación de tipos se realiza en tiempo de ejecución, lo que significa que 
los tipos de datos se determinan en el momento en que se ejecuta el 
programa.
Ejemplos de lenguajes: Python, JavaScript, Ruby, PHP, Perl.
7 R E U N I Ó N G E N E R A L C O N T O S O
JAVA
int numero = 5; // Declaración de una variable de tipo entero
String texto = "Hola"; // Declaración de una variable de tipo 
cadena
int resultado = numero + texto; // Error de comprobación de tipos 
en tiempo de compilación
PYTHON
numero = 5 # Asignación dinámica de una variable
texto = "Hola" # Asignación dinámica de otra variable
resultado = numero + texto # Comprobación de tipos en tiempo de 
ejecución (generará una excepción)
.
CONCLUSION
La comprobación de tipos es un aspecto crucial en la programación que se refiere a la 
verificación de que los tipos de datos utilizados en un programa sean coherentes y 
compatibles. Este proceso puede variar en función del enfoque del lenguaje de 
programación, siendo el tipado estático, que verifica los tipos en tiempo de compilación, y 
el tipado dinámico, que lo hace en tiempo de ejecución, los enfoques principales.
Los lenguajes de tipado estático, como Java o C++, ofrecen la ventaja de detectar errores 
de tipos en etapas tempranas, lo que puede hacer que el código sea más seguro y 
eficiente, aunque a veces requiere una sintaxis más rigurosa. Por otro lado, los lenguajes 
de tipado dinámico, como Python o JavaScript, son más flexibles y permiten una escritura 
más rápida, pero pueden generar errores de tipos en tiempo de ejecución.
	Diapositiva 1: Comprobación de Tipos y Errores Semánticos
	Diapositiva 2: TIPOS DE ERRORES
	Diapositiva 3
	Diapositiva 4: .
	Diapositiva 5
	Diapositiva 6
	Diapositiva 7
	Diapositiva 8: .