Une approche pour détecter des états impossibles en Elm, et comment les empêcher. Présenté au meetup Elm Paris le 10 novembre 2016.

1. Elm et les états impossibles
Mon Model sur-mesure
Nicolas Umiastowski
@n_umiastowski
Mercredi 10 novembre 2016

2. Approche initiale
Encoding the answered state of a question in the
constructor does mean that you can’t write code that
doesn’t check for whether a question is answered or
not

3. 1
3
2
1
0

4. Update

5. Questions répondues
Est-ce que ce sont vraiment des
questions répondues ?

7. Je peux tester le message qui s’affiche si au moins une
question ne possède pas de answerId
Je veux pouvoir m’assurer que :
si une question est répondue, alors elle a un answerId
Question répondue qui n’a pas de answerId : Possible
Elm- test

8. Making impossible states impossible :
Le Model est défini de telle sorte que le
compilateur renvoie une erreur si un état
impossible peut se produire

9. 1ère tentative de MISI
Etape 1 : définir le Model

10. Distinguer questions répondues et
questions non répondues.

11. Approche « Impossible state »
J’affiche une seule liste de questions
Je vérifie qu’il n y a aucune question
« restante »

12. 1ère tentative de MISI
Etape 2 : vérifier le Model

13. Je peux avoir des questions
« répondues » sans réponse

14. Ou une même question dans les 2
listes !!

15. 2 questions avec le même Id mais
intitulés différents

16. Nombre de questions répondues > Total de questions
Impossible
On peut valider qu’une question existante possède un
answerId ou pas, mais on ne peut checker qu’elle a un
état “répondu” ou “non répondu”.
Elm-test

17. 2ème tentative de MISI

20. Modifier une réponse
Donner une réponse

21. S’il n’y a que des questions
répondues…
Alors on affiche le message
correspondant

23. Nombre de questions répondues > Total de questions
Impossible
Toutes les questions existantes sont soit répondues soit
non répondues, avec un état correct
Elm-test

27. MISI
1/ Type
2/ Debug
3/ TU

28. Test unitaire
Elm-Test

29. Conclusion
Toujours refactoriser
Appliquer les bons patterns permet de progresser
On apprend en faisant
Au début, on prend plus de temps
Mais ensuite on est beaucoup plus rapide, et on évite les
bugs !

30. Questions ?