Declaración de variables

Los lenguajes de programación de tipado seguro, requieren la declaración explicita de cada variable, dado que los compiladores hacen uso de esta información para el control del correcto tipo de dato combinando con el correcto funcionamiento del algoritmo. Algunos lenguajes de programación son de tipado estático y otros de tipado fuertes. estatido siendo lo opuesto de dinámico, significa que los tipos de variables se ajustan en el momento de la compilación. Una de las ventajas con respecto de los lenguajes de programacióm de tipado estatico, frente a los lenguajes de programación de tipado dinamico es que reducen los gusanos y la programación insegura.Esto se puede reflejar en proyectos largos, donde los programadores pueden manejar de mejor manera la complejidad de los sistemas.

La orientación a objetos y la programación generica proveen importantes herramientas para alivianar la rigides de los ambientes estaticamente tipados. En los lenguajes de tipado dinamico las variables no son declaradas, por lo tanto no tienen restricciones en como las variables y funciones son combinadas. Cuando se necesitan variables, unicamente se asigna el valor y no se menciona el tipo. Esto otorga una gran flexibilidad pero también el efecto de producirse algunos errores. Afortunadamente para estos tipos de lenguajes existen los chequeos en tiempos de ejecución, claro que a un costo de disminución de eficiencia.