Validação de Entrada em Tempo de Compilação

As DSLs em nível de tipos podem rejeitar expressões malformadas antes da execução. Usando tipos de literais de modelo e tipos condicionais, validamos a estrutura de uma cadeia de caracteres em nível de tipos e recusamos entradas inválidas.

Imagine aceitar cadeias de caracteres como "user.name" ou "order.items.length". Queremos rejeitar "user." ou ".name" em tempo de compilação.

Tipos de literais de modelo dividem uma cadeia de caracteres em partes usando infer, a base da análise em tempo de compilação. O padrão real é delimitado por crases (Cabeça ponto Cauda com infer); denotamos esse padrão de divisão como DotSplit.

Um tipo condicional verifica se nenhum segmento está vazio. Um segmento vazio torna a entrada inválida. O mesmo padrão DotSplit (um literal de modelo entre crases no código real) conduz a recursão.

Use o tipo de validade para restringir um parâmetro de função: cadeias de caracteres válidas mantêm seu tipo; as inválidas resultam em never, portanto a chamada não compila.

Também é possível restringir os caracteres permitidos. Faça a correspondência apenas com padrões de segmentos conhecidos; qualquer outra coisa se reduz a um tipo que rejeita.

Para uma DSL de expressões como "age > 18", corresponda ao operador usando um literal de modelo e garanta que ele pertença a um conjunto permitido. O comparador (espaço à esquerda O espaço à direita) é um literal de modelo com acentos graves no código real; nós o denotamos por CondMatch.

Os validadores reais combinam várias condições: segmentos não vazios, símbolos permitidos e estrutura equilibrada. Cada uma é um tipo condicional; combine-as com tipos auxiliares de estilo lógico.

A recursão no nível de tipos tem limites de profundidade. Para cadeias de caracteres muito longas, o compilador pode emitir o erro "a instanciação de tipo é excessivamente profunda". Mantenha as entradas analisadas limitadas ou simplifique a gramática.

Um analisador em tempo de execução só reclama quando a cadeia de caracteres inválida é avaliada. A validação em tempo de compilação rejeita o literal no momento em que você o digita, com retorno completo do editor e nenhum custo em tempo de execução.

Muitas DSLs aceitam entradas de texto (caminhos, consultas e formatos). Validar sua estrutura no sistema de tipos detecta erros de digitação e expressões malformadas antes da execução do programa, transformando uma categoria de erros em tempo de execução em erros de compilação.

Verifique sua compreensão da validação de entradas em tempo de compilação.

Você validou entradas de DSL antes da execução, analisando literais de cadeia de caracteres com tipos de literais de modelo e infer, e depois verificando segmentos e operadores com tipos condicionais. Condicionar um parâmetro de função ao tipo de validade faz com que expressões malformadas resultem em never e não compilem, levando em conta os limites da recursão.