01
Typage du domaine
Mode strict dès le premier commit, unions discriminées pour les états, et validation par schéma à chaque frontière d'entrée des données.
Développement web
Un seul langage sur toute la pile, avec un système de types assez solide pour rendre des catégories entières de bogues inexprimables.
Les types sont une documentation que le compilateur vérifie. Nous travaillons en mode strict, modélisons les domaines par unions discriminées plutôt que par empilement de champs optionnels, et refusons l'échappatoire non typée.
01
Mode strict dès le premier commit, unions discriminées pour les états, et validation par schéma à chaque frontière d'entrée des données.
02
Vue et Nuxt, React et Next, ou aucun framework — choisis pour le problème et pour celles et ceux qui maintiendront.
03
Adoption incrémentale, fichier par fichier, avec une compilation verte à chaque commit et sans réécriture en bloc.
04
Analyse statique, formatage et vérification de types au comportement identique sur un poste et en CI, assez rapides pour que personne ne les désactive.
Dans votre dépôt, sur vos branches, avec une revue qui circule dans les deux sens. Ce que nous écrivons, vos équipes l'ont déjà relu — et peuvent le modifier sans nous.
Nous contacter