Introduction à Clojure et Clojurescript - Capitole du Libre 2017

Transcript

1. Introduction à Clojure et Clojurescript François Royer francois.royer@pwc.com + special thanks à Arnaud Bos @francoisroyer
2. https://www.meetup.com/fr-FR/Toulouse-Clojure-User-Group/
3. Fiche d’identité du langage • Un projet initié en 2007 • Licence Eclipse • Développement open sur Github https://github.com/clojure/clojure • Lead designer: Rich Hickey • Cible la JVM (clj) et JS (cljs) • Un seul Jar pour commencer: java -cp clojure-${VERSION}.jar clojure.main
4. Un langage multi plate-forme
6. Pourquoi essayer ou adopter Clojure?
7. Le cycle de LISP ...
8. Eric Raymond aka ESR “LISP is worth learning for a different reason: the profound enlightenment experience you will have when you finally get it. That experience will make you a better programmer for the rest of your days, even if you never actually use LISP itself a lot.“ Eric Raymond “How to Become a Hacker”
9. “LISP has jokingly been described as "the most intelligent way to misuse a computer". I think that description a great compliment because it transmits the full flavour of liberation: it has assisted a number of our most gifted fellow humans in thinking previously impossible thoughts.” Edsger W. Dijkstra
10. Clojure est une réponse aux problèmes fondamentaux du dev logiciel
11. La Bérézina du programmeur ... 100 000 lignes de JS et de nouvelles specs tous les jours... C’était irrécupérable.
12. Problème Simplification Code spaghetti Programmation Orientée Objet, fonctionnelle... Gestion de la mémoire Garbage collection Effets de bord Fonctions pures Partage de données Passage de message Données immutables Concurrence / verrous Software Transactional Memory Passage de message Verrouillage offline, … Composabilité Fonctions de haut niveau Limitations des langages ex-même Macros DSLs, Design patterns … mais quelles solutions ?
13. Un langage concis (vs Java)
14. Un langage concis (vs JS)
15. Syntaxe
16. Une seule syntaxe pour réunir débutants et pros ...
17. Des fonctions qui ne demandent qu’à être composées
18. Un langage core avec peu de primitives ... Booléen true, false Caractère \a Keywork :doc Liste ‘(1 2 3) Dictionnaire { :name “Bill”, :age 42 } Valeur nulle nil Ensemble #{:foo :bar :baz} Chaîne “hello world” Vecteur [1 2 3]
19. … et rien à cacher :)
20. Clojure + listes = • Une liste est une collection de valeurs homogènes ou hétérogènes • Appliquer une fonction à une liste ne la modifie pas, mais renvoie une nouvelle copie de la liste originelle • L’immutabilité des structures de données est une fondation de Clojure • Deux opérateurs fondamentaux pour travailler les listes: first, rest • Toutes les structures de données et fonctions en LISP peuvent être construites par la composition de ces deux opérateurs...
21. Listes
22. Composition
23. Back to the future avec Map, Filter & Reduce
24. Exemple: somme des carrés de nombres impairs • Peux-t’on améliorer la maintenabilité de ce snippet? • Que faire si la donnée provient d’un stream infini?
25. Version fonctionnelle avec Clojure
26. Version fonctionnelle avec Clojure
27. Destructuration
28. Destructuration des paramètres d’une fonction
29. Hashmaps
31. “It is better to have 100 functions operate on one data structure than 10 functions on 10 data structures.” Alan Perlis
32. Immutabilité
33. 4 5 2 3 0 1 6 7 6 7 8 9 10 Immutabilité avec les structures persistantes
34. Boucles et récursions
36. Transactions et concurrence
37. Multi-threading Clojure réutilise les threads JVM pour construire des applications concurrentes
38. Les Refs pour aider à la programmation concurrente • Clojure propose des références mutables à des valeurs immutables • Pour lire le contenu d’une référence, on doit explicitement la déréférencer
39. Software Transactional Memory • Un mécanisme transactionnel permet de garantir qu’aucun Thread ne peut observer yesterday dans l’état “Monday”, alors que today est encore à “Monday”
40. Go routines! • Clojure propose une implémentation des CSP (Communicating Sequential Processes) avec la lib core.async • Permet des patterns équivalents aux go routines de GO • Disponibles sur la JVM et Javascript • Evite le “callback hell”
41. Interopérabilité
42. Interopérabilité avec Java
43. Gestion des exceptions calquée sur le modèle Java
44. Outillage pour le développeur
45. GOOD DEV EXPERIENCE (defproject leiningen.org "1.0.0" :description "Generate static HTML for https://leiningen.org" :dependencies [[enlive "1.0.1"] [cheshire "4.0.0"] ] :main leiningen.web)
46. D’où vient la complexité d’une app web? • Request handler • Routing • Database handler • Templating • ... THE CLOJURE WAY: Think (composable) LIBRARIES, not FRAMEWORKS Ring, Compojure, Hiccup ...
47. Clojure dans le navigateur avec Clojurescript
49. ClojureScript est un compilateur pour Clojure ciblant JavaScript. Il émet du code JavaScript compatible avec le mode “advanced compilation” du compilateur Google Closure.
50. Clojurescript dans le navigateur • Depuis 2013 • Permet de débugger directement CLJS sans lire le JS intermédiaire
51. Clojurescript vs Javascript
52. Clojurescript vs Javascript
53. Pour les intéressés: CLJS + React = Reagent
54. Pour les intéressés: CLJS + React + Flux = Re-frame
56. A conversation with Alan Kay: http://queue.acm.org/detail.cfm?id=1039523 LISP 1.5 Programmer’s Manual: http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf The implementation of LISP (John McCarthy 1996): http://www-formal.stanford.edu/jmc/history/lisp/node3.html Leibniz’s law: https://en.wikipedia.org/wiki/Identity_and_change#Leibniz.27s_solution Identity Over Time (Andre Gallois, Stanford 2005): https://plato.stanford.edu/entries/identity-time/ Ideal Hash Trees (Phil Bagwell 2000): http://lampwww.epfl.ch/papers/idealhashtrees.pdf Are We There Yet? (Rich Hickey 2009): https://www.infoq.com/presentations/Are-We-There-Yet-Rich-Hickey Clojure: https://clojure.org/ Clojure By Example: https://kimh.github.io/clojure-by-example/ ClojureScript: https://clojurescript.org/ CQRS (Martin Fowler 2011): https://martinfowler.com/bliki/CQRS.html Re-frame: https://github.com/Day8/re-frame