Scribd
Cargar
139 vistas6 páginas

Strong Typing

El documento define el strong typing como una característica de los lenguajes de programación que surgió en la década de 1970 y permite detectar errores de tipado. El strong typing hace que un lenguaje sea más estricto al verificar que las variables solo contengan valores de un tipo específico. Aunque lenguajes como Java usan el strong typing, también permiten cierta coerción de tipos en expresiones.

Cargado por

luis enrique morel hernadez
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PPTX, PDF, TXT o lee en línea desde Scribd
139 vistas6 páginas

Strong Typing

El documento define el strong typing como una característica de los lenguajes de programación que surgió en la década de 1970 y permite detectar errores de tipado. El strong typing hace que un lenguaje sea más estricto al verificar que las variables solo contengan valores de un tipo específico. Aunque lenguajes como Java usan el strong typing, también permiten cierta coerción de tipos en expresiones.

Cargado por

luis enrique morel hernadez
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PPTX, PDF, TXT o lee en línea desde Scribd
Está en la página 1/ 6

Strong Typing

Grupo 7
Luis Morel 1089691
Pablo Rivas P. 1086134
José Fernández 1090351
Lya Sánchez 1090352
Qué es el
Strong Typing

Una de las ideas en el diseño del lenguaje que


se hizo prominente en la llamada revolución
de la programación estructurada de la década
de 1970 fue la mecanografía fuerte. La
tipificación fuerte es ampliamente reconocida
como una característica del lenguaje muy
valiosa. Desafortunadamente, a menudo se
define libremente y a menudo se usa en la
literatura informática sin estar definido en
absoluto.

1
Pablo Rivas P. 1086134
La Importancia del
Strong Typing
La importancia del tipeo fuerte radica en su
capacidad para detectar todos los usos
incorrectos de las variables que resultan en
errores de tipeo. Un lenguaje fuertemente
tipado también permite la detección, en tiempo
de ejecución, de usos de valores de tipo
incorrectos en variables que pueden almacenar
valores de más de un tipo.

2
Lya Sánchez 1090352
Reglas del Strong
Typing
Las reglas de coerción de un idioma tienen
un efecto importante sobre el valor de la
verificación de tipos. Por ejemplo, las
expresiones están fuertemente tipadas en
Java. Sin embargo, un operador aritmético
con un operando de punto flotante y un
número entero operando y es legal. El valor
del operando entero se coacciona a punto
flotante, y tiene lugar una operación de
punto flotante.

Luis Morel 1089691 3


Código expresivo: ahora sí Escribir más codigo:
sabremos de qué tipo espera tenemos que declarar el tipo
Ventajas y un argumento una función de variable al declararla.
Algunos lenguajes que lo
Desventajas Menos errores: Nos usan:
olvidaremos de ver el tipo de C Java
variable antes de hacer C# Ruby
operaciones con ésta Python

José Fernández 1090351 4


Ejemplos

Es el lenguaje Io

a := 5

b:= 6

c :=a*b *5

writeln ("Resultado: ".. C)

José Fernández 1090351 5

También podría gustarte