[Talk]: errors as values, le piège de la modélisation abusive

[antoine-coulon]

Titre

errors as values, le piège de la modélisation abusive

Contenu

Le monde des Errors as Values prend de plus en plus d'ampleur dans tous les écosystèmes : Rust, TypeScript, Kotlin, Scala, F#... que ce soit via des bibliothèques tierces ou de manière native.

Bien que le concept est sur le principe idéal, il y a cependant quelques pratiques à proscrire, notamment la modélisation d'erreurs qui ne devraient pas être représentées au type-level.

Dans ce talk, je ferai la distinction entre les deux types d'erreurs qu'on retrouve dans nos programmes, celles qu'on veut modéliser, et celles qu'on veut pouvoir ignorer.

J'utiliserai une comparaison entre neverthrow et Effect pour parvenir à nos fins, les deux bibliothèques TypeScript les plus populaires et matures sur le sujet.

Durée

Regular (20 minutes)

Niveau

Intermédiaire

Nom et prénom

Coulon Antoine

Contact (Bluesky, X, LinkedIn, Autre)

X: c9antoine, LinkedIn: https://www.linkedin.com/in/antoine-coulon-c9

Entreprise

Seanine Consulting

Rôle ou fonction dans l'entreprise

No response