Propiedad por la que las operaciones que violan un tipo de dato se detectan, en tiempo de compilación o en tiempo de ejecución, para prevenir errores no intencionados.
Los lenguajes de tipado estático se consideran generalmente de alta seguridad de tipos, ya que pueden detectar errores temprano, como intentar tratar una cadena como un número. Incluso los lenguajes de tipado dinámico pueden mejorar la seguridad de tipos añadiendo una capa de comprobación de tipos, como TypeScript.
© 2026 ITBGM