NonNull es una propiedad o tipo de dato que impone la restricción de que un valor particular no puede ser nulo (null) o indefinido (undefined). A nivel de sistema de tipos, esto significa que cualquier variable, parámetro o campo declarado como NonNull debe contener siempre una instancia válida del tipo subyacente, eliminando la posibilidad de un estado nulo. Su propósito principal es prevenir errores de tipo 'null pointer exception' o 'undefined behavior' en tiempo de ejecución, moviendo la detección de estos problemas a tiempo de compilación o diseño del esquema.
Esta restricción es ampliamente utilizada en diversos sistemas y lenguajes. En bases de datos relacionales, las columnas pueden declararse como `NOT NULL` (ej. PostgreSQL, MySQL). En GraphQL, los tipos pueden ser marcados con un signo de exclamación (ej. `String!`) para indicar que un campo siempre devolverá un valor. Lenguajes de programación como Kotlin y TypeScript incorporan NonNull en su sistema de tipos (ej. `String` en Kotlin es NonNull por defecto, `string` en TypeScript). En Rust, la ausencia de tipos nulos explícitos hace que todos los tipos sean NonNull por defecto, manejando la ausencia de valor a través de `Option<T>` o `Result<T, E>`.
Para un arquitecto, NonNull es fundamental para diseñar sistemas robustos y predecibles. Su uso reduce la complejidad del código al eliminar la necesidad de constantes verificaciones de nulidad, mejorando la legibilidad y mantenibilidad. Sin embargo, su implementación requiere una cuidadosa consideración: forzar NonNull en exceso puede llevar a un acoplamiento estricto y dificultar la evolución del esquema o la integración con sistemas legados que manejan la nulidad de forma diferente. La decisión de hacer un campo NonNull debe basarse en la invariancia del dominio de negocio, equilibrando la seguridad del tipo con la flexibilidad del diseño y la resiliencia ante fallos parciales o datos incompletos.