Validación de entradas en tiempo de compilación

Los DSL en el nivel de tipos pueden rechazar expresiones mal formadas antes del tiempo de ejecución. Mediante tipos de literales de plantilla y tipos condicionales, validamos la estructura de una cadena en el nivel de tipos y rechazamos las entradas no válidas.

Imagine que acepta cadenas como "user.name" u "order.items.length". Queremos rechazar "user." o ".name" durante la compilación.

Los tipos de literales de plantilla dividen una cadena en partes mediante infer, que es la base del análisis durante la compilación. El patrón real está delimitado por comillas invertidas (Head dot Tail con infer); representamos ese patrón de división como DotSplit.

Un tipo condicional comprueba que ningún segmento esté vacío. Un segmento vacío marca la entrada como no válida. El mismo patrón DotSplit (un literal de plantilla delimitado por comillas invertidas en el código real) dirige la recursión.

Utilice el tipo de validez para restringir un parámetro de función: las cadenas válidas conservan su tipo; las no válidas se resuelven en never, por lo que la llamada no se puede compilar.

También puede restringir los caracteres permitidos. Haga coincidir únicamente patrones de segmentos conocidos; cualquier otra cosa se convierte en un tipo que rechaza el valor.

Para un DSL de expresiones como "age > 18", haga coincidir el operador con un literal de plantilla y asegúrese de que pertenezca a un conjunto permitido. El patrón de coincidencia (espacio izquierdo O espacio derecho) es un literal de plantilla con backticks en el código real; aquí lo representamos como CondMatch.

Los validadores reales combinan varias condiciones: segmentos no vacíos, tokens permitidos y estructura equilibrada. Cada una es un tipo condicional; combínelas con tipos auxiliares de estilo lógico.

La recursión a nivel de tipos tiene límites de profundidad. Para cadenas muy largas, el compilador puede mostrar el error «la instanciación de tipos es excesivamente profunda». Mantenga acotadas las entradas analizadas o simplifique la gramática.

Un analizador en tiempo de ejecución solo avisa cuando se evalúa la cadena incorrecta. La validación en tiempo de compilación rechaza el literal en el momento en que lo escribe, con toda la información del editor y sin coste en tiempo de ejecución.

Muchos DSL aceptan entradas de tipo cadena (rutas, consultas y formatos). Validar su estructura en el sistema de tipos detecta errores tipográficos y expresiones mal formadas antes de que se ejecute el programa, y convierte una clase de errores de tiempo de ejecución en errores de compilación.

Compruebe su comprensión de la validación de entradas en tiempo de compilación.

Validó las entradas de un DSL antes del tiempo de ejecución mediante el análisis de literales de cadena con tipos de literales de plantilla y infer, y después comprobó los segmentos y operadores con tipos condicionales. Restringir un parámetro de función según el tipo de validez hace que las expresiones mal formadas se resuelvan en never y no se puedan compilar, teniendo en cuenta los límites de recursión.