Le projet Meta-Typing repousse les frontières du système de types de TypeScript en réalisant des fonctions et algorithmes, tels que des calculs mathématiques et des manipulations de données, exclusivement au niveau des types. Cette approche, connue sous le nom de programmation par types, permet d'effectuer des opérations complexes lors de la compilation, sans recourir à du code exécuté à l'exécution.

Programmation par types

La programmation par types exploite les fonctionnalités avancées de TypeScript pour exécuter des traitements logiques directement dans le système de types. Contrairement à la programmation traditionnelle, où les calculs sont réalisés à l'exécution, Meta-Typing utilise des types récursifs et conditionnels pour effectuer des opérations comme l'arithmétique ou le tri lors de la compilation.

Fonctionnalités principales

Arithmétique de base

L'addition de deux nombres peut être implémentée avec un type récursif qui incrémente et décrémente les valeurs jusqu'à atteindre une condition d'arrêt :

type Somme<x extends="" number="" y=""> = {
  final: X;
  prochain: Somme<suivant>, Precedent<y>>;
}[Y extends 0 ? 'final' : 'prochain'];
</y></suivant></x>

Dans cet exemple, le type Somme additionne X et Y en utilisant les types auxiliaires Suivant et Precedent pour les opérations d'incrémentation et de décrémentation.

Opérations sur tableaux et algorithmes

Meta-Typing inclut des types pour des algorithmes comme le tri par fusion et la résolution de labyrinthes :

type ResultatTri = TriFusion<[5, 2, 9, 1, 5, 6]>; // Donne [1, 2, 5, 5, 6, 9]
type SolutionLabyrinthe = ResoudreLabyrinthe<[
  ['D', '#', ' '],
  [' ', ' ', '#'],
  ['#', ' ', 'A']
]>;

Mise en œuvre

Pour utiliser Meta-Typing, clonez le dépôt :

git clone https://gitcode.com/gh_mirrors/me/meta-typing

Importez ensuite les types nécessaires dans votre projet TypeScript :

import { Somme, TriFusion, ResoudreLabyrinthe } from 'meta-typing';

Applicasions possibles

Bien que ce soit un projet expérimental, Meta-Typing ouvre des perspectives pour :

• Validation de données à la compliation avec des contraintes de types avancées
• Développement d'outils de types intelligents pour améliorer l'expérience de développement
• Éducation sur les capacités du système de types de TypeScript

Exploration des fonctionnalités

Le projet propose de nombreux types dans le répertoire src :

• Opérations mathématiques : src/add/, src/subtract/, src/multiply/ etc.
• Manipulations de tableaux : src/flatten/, src/chunk/, src/concat/ etc.
• Implémentations d'algorithmes : src/mergeSort/, src/quickSort/, src/maze/ etc.

Chaque type est accompagné de fichiers de test, comme src/add/index.test-d.ts, qui illustrent leur utilisation et leur fonctionnement.