Tipado
Cómo trata un lenguaje las clases de valores y las operaciones adecuadas.
¿Qué es el tipado?
El tipado regula tipos de valores y operaciones adecuadas. La comprobación estática puede detectar incompatibilidades antes de ejecutar; el tipado dinámico trata los tipos durante la ejecución. La información puede ser explícita o inferida por una herramienta. Un lenguaje tipado no queda automáticamente libre de errores de negocio.
En un portal ficticio, quantity debe tratarse como number. Un comprobador estático adecuado puede señalar una asignación de texto. El tipo numérico no establece si la cantidad es positiva, entera o válida para la unidad elegida. Una anotación TypeScript tampoco valida automáticamente en ejecución los datos de una interfaz externa. Esas entradas y reglas requieren comprobaciones propias.
Fuentes
Términos relacionados
- Análisis estático de códigoExaminar el código o su representación sin ejecutar el flujo de negocio para esa comprobación.
- CompiladorUn programa que traduce código fuente a otra representación de destino.
- Validación de datosLa validación de datos comprueba requisitos definidos como formato, campos obligatorios o rangos permitidos.
- Sistema heredadoUn sistema existente que sigue en uso, con dependencias técnicas y de negocio acumuladas.
- Arquitectura multiinquilinoUna solución multiinquilino admite ámbitos separados por cliente o grupo. Un inquilino no equivale automáticamente a una persona o una base de datos.
- Caché del navegadorLa caché del navegador guarda respuestas HTTP adecuadas. Su reutilización y validación siguen las reglas correspondientes.
Artículos sobre el tema
Desarrollo de software con ASES
Software a medida, aplicaciones web y móviles