La parole est aux speakers : Baptiste Langlade

Publié le

Jusqu’au Forum PHP 2021, retrouvez nos interviews de speakers pour mieux comprendre leur parcours et le sujet qu’ils ou elles aborderont lors de leur conférence !

La conférence

Les Exception : le trou dans la raquette du typage

Ces dernières années les outils d'analyse statique du code (comme Psalm ou PHPStan) se sont imposés dans nos projets. Ils permettent de nous montrer des erreurs en l'espace de quelques secondes sans avoir à exécuter notre code.

Les exceptions font également partie intégrante de nos projets car elles offrent une manière simple pour sortir du chemin d'exécution nominal. Cependant ce mécanisme opère en dehors du système de typage (puisqu'elles n'apparaissent pas dans la signature des fonctions) ce qui empêche les outils d'analyse statique de vérifier que chaque Exception est gérée correctement. Ce manque d'outillage nous impose de faire cette vérification via des tests fonctionnels (donc plus lents à détecter les problèmes).

On verra comment le pattern Monad (via Either et Maybe) venant de la programmation fonctionnelle nous permet de gérer nos exceptions d'une manière compréhensible par les outils d'analyse statique. Le but étant d'accélerer et d'augmenter la fiabilité de la gestion des erreurs en supprimant le besoin d'écrire des tests nous même.

Grace Hopper / Orly
22/10/2021
15:10-15:50

Tu vas nous présenter ta conférence « Les Exception : le trou dans la raquette du typage ». Est-ce qu’il y a eu un élément déclencheur qui a amené cette question comme par exemple l’écriture de test, du refactoring de code ou autre ?

Un cas que je me retrouve souvent à faire par manque « d’outils » pour mieux faire est l’utilisation d’exceptions en tant qu’unité de contrôle. Par exemple dans le pattern delegator on essaie une stratégie, si c’est pas la bonne on lève une exception qui est catched puis on tente la stratégie suivante jusqu’à trouver une stratégie qui passe. Le problème est que c’est un détournement du principe de base qui est de défausser dans le cas où ne peut plus rien faire.

Pourrais-tu nous présenter un exemple de cas d’utilisation, où à ton avis, les Exceptions sont mal utilisées ?

C’est effectivement un sujet qui me tracasse depuis 2-3 ans suite à beaucoup d’erreurs lors de refactoring qui introduisait de nouvelles exceptions qui n’étaient pas catched dans tous les usages. Ces manquements n’apparaissent qu’au runtime, que ce soit en phase de tests ou en production, réduisant la confiance dans la stabilité du code. J’ai donc commencé à chercher des outils d’analyse de code et regarder comment les autres languages adressent ce problème. Je n’ai trouvé que des solutions qui étaient soit trop compliquées, soit incomplètes, jusqu’à ce que je m’intéresse aux monads et que je comprenne que je cherchais à résoudre le mauvais problème.

Fais-tu partie de l’équipe try/catch global ou de celle au plus près de l’exception ?

Je fais partie des deux équipes. Comme je disais au début j’utilise les try/catch au plus près en tant qu’unité de contrôle. Mais j’utilise aussi des try/catch globaux (dans le controller) pour retourner une réponse compréhensible au client. Typiquement un try/catch local va permettre d’avoir une valeur par défaut dans le catch si la valeur que j’essaie d’obtenir dans le try ne fonctionne pas. Dans un try/catch de controller je l’utilise pour catch des exceptions comme une entité que j’essaie de modifier qui n’existe pas (peu importe où dans la call stack elle est levée) ce qui permet de retourner une réponse HTTP 404.

Une conférence présentée par

Baptiste LANGLADE
Baptiste LANGLADE
Baptiste Langlade est un développeur PHP (certifié symfony2) passionné par indexer internet, Neo4j et le fonctionnement du cerveau.

Autres interviews

En poursuivant votre navigation sur ce site, vous acceptez l’utilisation des cookies pour améliorer votre navigation. plus d'infos

1. Qu’est-ce qu’un cookie?

Un Cookie est un petit fichier texte enregistré sur votre terminal (ordinateur, tablette, smartphone, etc.), à l’occasion de la consultation d’un service en ligne grâce à votre logiciel de navigation. Il permet à son émetteur d’identifier le terminal dans lequel il est enregistré, pendant la durée de validité ou d’enregistrement du Cookie. Lors de la consultation de notre site Internet, des informations relatives à la navigation de votre terminal sont susceptibles d'être enregistrées dans ces fichiers dits "Cookies". Ces derniers sont installés sur votre terminal, sous réserve des choix que vous auriez exprimés concernant les Cookies et que vous pouvez modifier à tout moment.

2. A quoi servent les cookies émis sur notre site ?

Seul l’émetteur d’un cookie est susceptible de lire ou de modifier les informations qui y sont contenues.
Les cookies utilisés sur notre site permettent :

3. Vos choix concernant les cookies

Vous disposez de différents moyens pour gérer les cookies. Tout paramétrage que vous pouvez entreprendre sera susceptible de modifier votre navigation sur notre site et sur Internet en général et vos conditions d'accès à certains services de notre site nécessitant l'utilisation de cookies. Vous pouvez à tout moment exprimer et modifier vos souhaits en matière de cookies, par les moyens décrits ci-dessous. L'accord sur les cookies L'enregistrement d'un cookie dans un terminal est essentiellement subordonné à la volonté de l'utilisateur du terminal, que celui-ci peut exprimer et modifier à tout moment et gratuitement à travers les choix qui lui sont offerts par son logiciel de navigation. Si vous avez accepté dans votre logiciel de navigation l'enregistrement de cookies dans votre terminal, les cookies intégrés dans les pages et contenus que vous avez consultés pourront être stockés temporairement dans un espace dédié de votre terminal. Ils y seront lisibles uniquement par leur émetteur.

Le refus des cookies Si vous refusez l'enregistrement de cookies dans votre terminal, ou si vous supprimez ceux qui y sont enregistrés, vous ne pourrez plus bénéficier d'un certain nombre de fonctionnalités qui sont néanmoins nécessaires pour naviguer dans certains espaces de notre site. Tel serait le cas si vous tentiez d'accéder à votre compte ou à votre abonnement qui nécessite de vous identifier. Tel serait également le cas lorsque nous, ou nos prestataires, ne pourrions pas reconnaître, à des fins de compatibilité technique, le type de navigateur utilisé par votre terminal, ses paramètres de langue et d'affichage ou le pays depuis lequel votre terminal semble connecté à Internet. Le cas échéant, nous déclinons toute responsabilité pour les conséquences liées au fonctionnement dégradé de nos services résultant de l'impossibilité pour nous d'enregistrer ou de consulter les cookies nécessaires à leur fonctionnement et que vous auriez refusés ou supprimés. Les choix offerts par votre logiciel de navigation Vous pouvez configurer votre logiciel de navigation de manière à ce que des cookies soient enregistrés dans votre terminal ou, au contraire, qu'ils soient rejetés, soit systématiquement, soit selon leur émetteur. Vous pouvez également configurer votre logiciel de navigation de manière à ce que l'acceptation ou le refus des cookies vous soient proposés ponctuellement, avant qu'un cookie soit susceptible d'être enregistré dans votre terminal. Pour la gestion des cookies et de vos choix, la configuration de chaque navigateur est différente. Elle est décrite dans le menu d'aide de votre navigateur, qui vous permettra de savoir de quelle manière modifier vos souhaits en matière de cookies. Selon votre navigateur, consultez le lien ci-dessous pour configurer votre navigateur et refuser les cookies :