Aller au contenu principal

TypeScript-First

Pas « TypeScript-Ready », mais « TypeScript-First »​

La différence est cruciale :

// ❌ TypeScript-ready (Lodash) - Types ajoutés après coup
// Les types sont souvent approximatifs ou trop permissifs
declare function get(object: any, path: string): any;

// ✅ TypeScript-first (Pithos) - Conçu pour l'inférence
// Types précis, automatiquement inférés
const get = <T, K extends keyof T>(obj: T, key: K): T[K] => obj[key];

Règles Pithos​

PrincipeApplication
Inférence maximaleJamais any, rarement des génériques explicites
Narrowing automatiqueLes type guards affinent les types
Erreurs au compile-timeAttraper les bugs avant l'exécution
Intelligence IDEAutocomplétion, refactoring, go-to-definition
Pas de vérifications de types runtimeNe jamais vérifier les types au runtime (typeof, instanceof, Array.isArray). TypeScript garantit les types au compile time. Vérifier uniquement les valeurs/plages invalides (ex. size < 0)
Nommage explicite des typesPréférer des noms explicites pour les types génériques (comme React/React Native), sauf pour T ou les types trivialement évidents

Exemples d'inférence​

import { chunk } from "pithos/arkhe/array/chunk";

const numbers = [1, 2, 3, 4, 5, 6];
const chunks = chunk(numbers, 2);
//    ^? T[][] inféré comme number[][]

// Le type est automatiquement préservé
chunks.forEach((group) => {
  group.forEach((n) => console.log(n.toFixed(2)));
  //                              ^? number inféré
});

Pas de Any, pas de trappes de secours​

// ❌ JAMAIS
const process = (data: any) => { ... }

// ✅ TOUJOURS
const process = <T>(data: T) => { ... }
// ou avec des contraintes
const process = <T extends Record<string, unknown>>(data: T) => { ... }

Related