Programmation Fonctionnelle avec Kotlin

Programmation Fonctionnelle avec Kotlin

Transcript

1. Programmation Fonctionnelle avec Kotlin DevCon #15 - 3 Nov 2022 - 100% Kotlin
2. DEVCON#15 3-XI-2022 Riadh MNASRI
3. DEVCON#15 : MERCI À NOS PARTENAIRES !
4. PLAN Qui suis-je ? C’est quoi une fonction pure ? Transparence référentielle Immutabilité Les fonctions d’ordre supérieur Kotlin et la programmation fonctionnelle Pourquoi Arrow-KT ? C’est quoi une monade ? Option Either Validated Monoid Folder une liste Live Coding/Demo Conclusion
5. Qui suis-je ? Riadh MNASRI Tech lead / Dev senior passionné Adepte des pratiques crafts Je m’intéresse au clean code, programmation fonctionnelle, … J’aime apprendre et partager mes connaissances Me contacter sur Linkedin/Twitter (@riadhmnasri)
6. C’est quoi une fonction pure ? Retourne toujours le même résultat pour les mêmes arguments Doit retourner toujours un résultat Ne fait pas d’effet de bord (Faire un changement en dehors de la fonction)
7. Avantages des fonctions pures Facile à tester Facile à comprendre (pas de dépendance cachée ni effet de bord) Moins de risque de bugs
8. Transparence référentielle Capacité d’une expression ou d’une fonction d’être remplacée par le résultat de son évaluation sans changer le résultat d’un programme.
9. Immutabilité Un objet est immutable si on ne peut plus changer son état une fois déclaré Thread safe/Parallélisme Pas d’effets de bords cachés
10. Les fonctions d’ordre supérieur Est traitée par le compilateur comme n’importe quelle variable On peut la passer comme argument, la retourner par une fonction et l’assigner à une variable
11. Kotlin et la programmation fonctionnelle Immutabilité (val, séparation des collections mutables/lecture, …) Les fonctions sont d’ordre supérieur Les classes ‘sealed’ Pattern Matching (expressions when) Fonctions d’extensions …
12. Pourquoi Arrow-KT ?
13. Pourquoi Arrow-KT ? Kotlin fournit les outils pour faire la programmation fonctionnelle Kotlin n’est pas un langage fonctionnel pur Arrow.Kt: Librairie fournit des interfaces et des abstractions de la programmation fonctionnelle. Implémente les types de données (Either, …) Les types de classes (Monades, …)
14. C’est quoi une Monade ? Functor: un type qui dé fi nit comment transformer son contenu (dé fi nit une fonction map() ) Monade: est un functor qui dé fi nit une fonction fl atMap
15. Option Kotlin ne contient pas le mot clé Option Arrow.kt l’enrichit avec ce type de donné
16. Either Permet d’éviter de lancer des exceptions Garder le contrôle Représenter les échecs et les exceptions comme valeur du retour
17. Validated / NonEmptyList Ressemble à Either Permet de cumuler plusieurs exceptions
18. Monad Comprehension Ecrire du code dans un style séquentiel, un enchainement d’actions imbriqués Un style linéaire facile à lire Similaire aux coroutines/async-wait
19. Une Monoide 1/2 Notion mathématique: algèbre générale C’est une structure algébrique Un ensemble muni d’une loi de composition interne associative Dé fi nit un élément neutre
20. Une Monoide 2/2
21. Une Monoide - Folder une Liste Permettre de faire des opérations sur une liste Une fonction pour combiner les éléments de la liste avec une valeur initiale
22. Demo/Live Coding
23. Demo/Live Coding Code disponible sur mon GitHub (riadh-mnasri) https:/ /github.com/riadh-mnasri/functional- programming-with-kotlin-arrowkt
24. Conclusion Kotlin fournit tout ce qu’il faut pour faire la programmation fonctionnelle. Arrow-KT se base sur la puissance de Kotlin pour fournir des abstractions/implémentations qui facilite la programmation fonctionnelle.
25. References Functional Programming in Kotlin - Marco Vermeulun, Runar Bjarnason and Paul Chiusano Functional Kotlin - By Mario Arias and Rivu Chakaborty https:/ /arrow-kt.io/docs/quickstart/ https:/ /wehightech.github.io/ https:/ /adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html https:/ /www.kodeco.com/7059961-functional-programming-with-kotlin-and-arrow-more-on- typeclasses
26. Merci pour votre attention