Types union et rétrécissement de type

La Session 100 était un jalon. Pas seulement parce que c'était un nombre rond -- bien que Thales ait noté la symétrie -- mais parce qu'elle a livré la fonctionnalité qui changerait fondamentalement la façon dont les programmes FLIN gèrent les données hétérogènes : les types union.

Avant les types union, chaque variable dans FLIN avait exactement un type. Avec les types union, une valeur de type int | text peut être un entier ou une chaîne, et le compilateur suit lequel c'est à travers chaque branche de votre code. C'est le rétrécissement de type, et c'est la fonctionnalité qui transforme les types union d'une commodité syntaxique en un mécanisme de sécurité.

La syntaxe

flinvalue: int | text = 42
flexible: int | text | bool = true

Le pipe a été le choix naturel : il se lit comme de l'anglais (« int ou text »), il est familier aux développeurs TypeScript, et il se compose sans imbrication.

Rétrécissement de type

Les types union sans rétrécissement de type seraient presque inutiles. Si une variable est int | text, vous ne pouvez pas appeler .upper dessus -- et si c'est un int ? Le rétrécissement de type résout cela en suivant le type à travers le flux de contrôle :

flinvalue: int | text = getData()

if value is int {
    // Ici, value est int (pas int | text)
    result = value + 1      // sûr
}

if value is text {
    // Ici, value est text
    upper = value.upper     // sûr
}

L'opérateur is effectue une vérification de type à l'exécution et rétrécit le type dans la branche vraie de la condition. La branche else est particulièrement intéressante : si vous vérifiez value is int et que cela échoue, le compilateur sait que dans la branche else, value est text -- l'union moins le type vérifié.

Implémentation

L'implémentation a touché six fichiers à travers le compilateur : l'AST, le parser, les types du vérificateur de types, le vérificateur de types, le formateur et les tests. Le nombre de tests est passé de 1 032 à 1 048 -- 16 nouveaux tests à travers les deux fonctionnalités. Chaque test existant a continué à passer.

Les cas limites ont nécessité des décisions de conception explicites : int | int est normalisé en int. Les unions imbriquées sont aplaties. int | any se simplifie en any.

Ceci est la partie 32 de la série « Comment nous avons construit FLIN ».

Navigation de la série : - [31] Le système de types de FLIN : inféré, expressif, sûr - [32] Types union et rétrécissement de type (vous êtes ici) - [33] Types génériques dans FLIN