J'expliquerais dans cette présentation comment et pourquoi, dans un projet avec du vécu (Rudder, 5 ans d'existence), nous sommes passés d'une gestion d'erreur à la Java via des exceptions à une gestion d'erreur guidée par les types de retour : Option, puis Box de Lift. Après un fort attrait initial, ces dernières ont néanmoins révélé des limites fondamentales et nous nous tournons finalement aujourd'hui vers des types d'erreurs construits sur des bases théoriques solides permettant composabilité et non ambiguïté, tout en répondant à nos besoins métier.