Son aquellos en los que una variable guarda siempre un mismo tipo de dato. En algunos lenguajes tipificados se le pide al programador que declare el tipo de cada variable que lo forma pero en otros no ya que lo puede determinar un compilador. En algunos lenguajes tipificados se permite la modificación entre tipos de variables y en otros no. Este permite detectar errores.
Lenguajes no tipificados
Los lenguajes no tipificados no requieren la declaración de tipo de las variables y una misma variable puede almacenar valores de diferentes tipos
Tienen flexibilidad de los programas.