Validation des entrées à la compilation

Les langages spécifiques à un domaine au niveau des types peuvent rejeter les expressions mal formées avant l'exécution. À l'aide de littéraux de modèle et de types conditionnels, vous validez la structure d'une chaîne au niveau des types et refusez les entrées non valides.

Imaginez que vous acceptiez des chaînes telles que "user.name" ou "order.items.length". Nous voulons rejeter "user." ou ".name" à la compilation.

Les types de littéraux de modèle découpent une chaîne en parties à l'aide de infer, ce qui constitue le fondement de l'analyse à la compilation. Le motif réel est délimité par des accents graves (tête, point, queue avec inférence) ; nous désignons ce motif de séparation par DotSplit.

Un type conditionnel vérifie qu'aucun segment n'est vide. Un segment vide rend l'entrée invalide. Le même motif DotSplit (un littéral de modèle entre accents graves dans le code réel) pilote la récursion.

Utilisez le type de validité pour contraindre un paramètre de fonction : les chaînes valides conservent leur type ; les chaînes invalides se résolvent en never, ce qui empêche la compilation de l’appel.

Vous pouvez également restreindre les caractères autorisés. Faites correspondre uniquement les motifs de segments connus ; tout le reste se réduit à un type qui rejette la valeur.

Pour une DSL d’expressions comme "age > 18", faites correspondre l’opérateur avec un littéral de gabarit et vérifiez qu’il appartient à un ensemble autorisé. Le motif (espace gauche O espace droit) est un littéral de gabarit entre accents graves dans le code réel ; nous le désignons par CondMatch.

Les validateurs réels vérifient plusieurs conditions à la fois : segments non vides, jetons autorisés et structure équilibrée. Chacune est un type conditionnel ; combinez-les avec des types auxiliaires de style logique.

La récursion au niveau des types est soumise à des limites de profondeur. Pour les chaînes très longues, le compilateur peut afficher l’erreur "type instantiation is excessively deep". Limitez la longueur des entrées analysées ou simplifiez la grammaire.

Un analyseur à l’exécution ne signale le problème que lorsque la chaîne incorrecte est évaluée. La validation à la compilation rejette le littéral dès que vous le saisissez, avec un retour complet de l’éditeur et sans aucun coût à l’exécution.

De nombreuses DSL acceptent des entrées sous forme de chaînes (chemins, requêtes, formats). Valider leur structure dans le système de types permet de détecter les fautes de frappe et les expressions mal formées avant l’exécution du programme, transformant ainsi une catégorie d’erreurs à l’exécution en erreurs de compilation.

Vérifiez votre compréhension de la validation des entrées à la compilation.

Vous avez validé les entrées d’une DSL avant l’exécution en analysant les littéraux de chaîne avec des types de littéraux de gabarit et infer, puis en vérifiant les segments et les opérateurs avec des types conditionnels. Conditionner un paramètre de fonction au type de validité fait que les expressions mal formées se résolvent en never et empêchent la compilation, tout en tenant compte des limites de récursion.