Lenguajes Fuertemente Tipados

Bueno voy hablar ahora de lo que son los lenguajes fuertemente tipados, estos me los tope, cuando estaba haciendo los reportes pasados y los puntos extra, y se me hizo bueno hablar de lo que son estos lenguajes y ademas de cuales son, bueno veamos la siguiente informacion:

¿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

Y algunos no tipados pueden ser:

• Lisp
• Perl
• Prolog

hay poca informacion de lo que es un lenguaje fuertemente tipado, igual hay otra definicion pero de lo que es tipado dinamico, pero viene poca informacion, buscando en otras paguinas igual viene muy poca, por eso no decidi ponerla, bueno ojala les guste mi entrada y les agrade la informacion gracias.