¿Que son los Lenguajes Fuertemente Tipados?
Un lenguaje de programación es fuertemente tipado si no se permiten violaciones de los tipos de datos, es decir, dado una variable de un tipo concreto, no se puede usar como si fuera una variable de otro tipo distinto a menos que se haga una conversión.
No se permite tratar a una variable como si fuera de un tipo distinto al que tiene, es necesario convertir de forma explícita dicha variable al nuevo tipo previamente.
La mayoría de los "lenguajes imperativos" son fuertemente tipados mientras que los "lenguajes declarativos" no suelen estar tipados.
En los lenguajes fuertemente tipados, el compilador no permite que se use una variable como parámetro de un procedimiento si sus tipos no coinciden exactamente.
Algunos lenguajes fuertemente tipados son:
- Ada
- Pascal
- Java
- Phyton
- C
- Haskell
- Lisp
- Perl
- Prolog
Hola alfonso
ResponderEliminaryo hable de eso acerca en mi blog
y puse ejemplos con codigo por si te interesa
http://ldp-roberto.blogspot.com/2010/11/lenguaje-de-programacion-fuertemente.html
Saludos!
+2 autor, +1 roberto
ResponderEliminarEstas seguro que pascal es fuertemente tipado??
ResponderEliminarPor q lo digo:
Type
digitos = 0..10;
Var
A,B,C:digitos;
Begin
A:=7;
B:=7;
C:=A+B; ???? que sucede en esta sentencia?
Pascal no es fuertemente tipado porque no trabaja bien con Uniones con Discrimante. No hace el chequeo dinamico.
ResponderEliminar