Apéro fonctionnel Edition Toulousaine 

Container 

Bob public class Human { private String name; public Human(String name) { this.name = name; } public String getName() { return name; } } Human bob = new Human("Bob"); bob.getName(); 

Container Wrapper ❌ 

Container Wrapper public class Container Wrapper { private T value; public T getValue() { return this.value; } public Container(T value) { this.value = value; } } ❌ ❌ 

Wrapper | Exemple Wrapper bottle = new Wrapper(""); bottle.getValue(); // Wrapper bob = new Wrapper("Bob"); bob.getValue(); // Bob 

Functor 

Functor public class Functor extends Wrapper { public Functor(T value) { super(value); } public Functor map(Function fun) { return new Functor(fun.apply((T) this.getValue())); } } 

Functor in action Functor bouteilleMagique = new Functor(""); Functor autreBouteille = bouteilleMagique .map(contenu -> contenu + "") // plus de poire .map(contenu -> contenu + ""); // plus de poire System.out.println( autreBouteille.getValue() // ); 

Functor en images .map(contenu -> contenu + "") .map(contenu -> contenu + "") .getValue() nouvelle bouteille nouvelle bouteille 

Dans la vraie vie 

html Function h1 = value -> "

" + value + "

" Function body = value -> "" + value + "" Function html = value -> "" + value + "" Functor content = new Functor("Hello World") Functor htmlPage = content .map(h1) .map(body) .map(html); System.out.println( htmlPage .getValue()); "

Hello World

" 

Functor | … dans un functor, dans un … Function> ajouterPoire = contenu -> new Functor(contenu + ""); bouteilleMagique .map(contenu -> new Functor(contenu + "")) .getValue() // Functor@3e3abc88 // Type attendu: Functor> // Puis: Functor>> etc... 

Functor | … dans un functor, dans un … .map(ajouterPoire) .map(ajouterPoire) nouvelle bouteille nouvelle bouteille 

Monad ou comment sortir les poires correctement 

Monad public class Monad extends Wrapper { public Monad(T value) { super(value); } public Monad map(Function fun) { return new Monad(fun.apply((T) this.getValue())); } public Monad flatMap(Function> fun) { return fun.apply((T) this.getValue()); // on retourne la monade sans la remettre dans un container wrapper } } ❌ 

Monad | sample Monad bouteilleMagique = new Monad(""); System.out.println( bouteilleMagique .flatMap(contenu -> new Monad(contenu + " ")) .flatMap(contenu -> new Monad(contenu + " ")) .getValue() ); // 

Functor en images .getValue() nouvelle bouteille nouvelle bouteille .flatMap(contenu -> new Monad(contenu + " ")) .flatMap(contenu -> new Monad(contenu + " ")) 

J’achète une voiture 

Monad Identity in RL Monad prixDeDepart = new Monad(10000.0); // options Function optionClim = prix -> prix + 2000.0 ; Function interieurCuir = prix -> prix + 5000.0 ; Function vitresTeintees = prix -> prix + 3000.0 ; Monad prixVoitureToutesOptions = prixDeDepart .map(optionClim) .map(interieurCuir) .map(vitresTeintees); System.out.println(prixVoitureToutesOptions.getValue()); // 20 000 

Vous utilisez déjà des Monad(e)s 

un stream a une map et une flatMap! … Donc? Stream c’est une api qui utilise les lambdas et qui permet de faire des choses sympas avec les collections 

No content

.map() 

TinyToon class TinyToon { public String pseudo; public String avatar; public TinyToon(String pseudo, String avatar) { this.pseudo = pseudo; this.avatar = avatar; } } 

TinyToons List tinyToons = Arrays.asList( new TinyToon("Bob", ""), new TinyToon("Jane", ""), new TinyToon("Sam", ""), new TinyToon("John", "") ); List myList = tinyToons .stream() .map(toon -> toon.pseudo + toon.avatar) .collect(Collectors.toList()); System.out.println(myList); // [“Bob“, “Jane“, “Sam“, “John“] 

.flatMap() 

TinyToon class TinyToon { public String pseudo; public String avatar; public List buddies; public TinyToon(String pseudo, String avatar) { this.pseudo = pseudo; this.avatar = avatar; } public TinyToon(String pseudo, String avatar, List buddies) { this.pseudo = pseudo; this.avatar = avatar; this.buddies = buddies; } } 

TinyToons List tinyToons = Arrays.asList( new TinyToon("Bob", "", Arrays.asList( new TinyToon("Ted", ""), new TinyToon("Polo", ""))), new TinyToon("Jane", "", Arrays.asList( new TinyToon("Zed", ""), new TinyToon("Grou", ""))), new TinyToon("Sam", "", Arrays.asList( new TinyToon("Kate", ""), new TinyToon("Nike", ""))), new TinyToon("John", "", Arrays.asList( new TinyToon("Ray", ""), new TinyToon("Zoe", ""))) ); [ [, ], [, ], [, ], [, ] ] 

Je veux les avatars des buddies tinyToons.stream() .flatMap(toon -> toon.buddies.stream()) .map(toon -> toon.avatar) .collect(Collectors.toList()) [ [, ], [, ], [, ], [, ] ] [“”, ””, ””, ””, ””, ””, ””, ””] 

NPE 

Le problème: c’est Null Ça ne veut pas dire grand chose Ce n’est pas vraiment un type Et pourtant, tout type en Java peut être null 

Optional permet de modéliser null Optional<> a 2 sous types / sous états Optional.of() Optional.empty() // pas de Optional<> a 2 sous types / sous états Optional.of() Optional.empty() // pas de 

Optional Optional.empty() Optional.of() 

mais retrouvons nos tiny toons 

NPE avant Function getToon = key -> { Map tinyToons = new HashMap() {{ put(1, new TinyToon("Bob", "")); put(2, new TinyToon("Jane", "")); put(3, new TinyToon("Sam", "")); put(4, new TinyToon("John", "")); }}; return tinyToons.get(key); }; System.out.println(getToon.apply(2).avatar); System.out.println(getToon.apply(4).avatar); System.out.println(getToon.apply(6).avatar); //⚠ le toon 6 n’existe pas > > > Exception in thread "main" java.lang.NullPointerException at SearchToons.main(SearchToons.java:20) 

NPE après (avec Java 8) Function> getMayBeToon = key -> { Map tinyToons = new HashMap() {{ put(1, new TinyToon("Bob", "")); put(2, new TinyToon("Jane", "")); put(3, new TinyToon("Sam", "")); put(4, new TinyToon("John", "")); }}; return Optional.ofNullable(tinyToons.get(key)); }; 

NPE après (avec Java 8) getMayBeToon.apply(6) // Optional.empty getMayBeToon.apply(3) // Optional[TinyToon@3e3abc88] getMayBeToon.apply(6).map(toon -> toon.avatar) // Optional.empty getMayBeToon.apply(3).map(toon -> toon.avatar) // Optional[] 

je colle du optional partout class TinyToon { public Optional pseudo; public Optional avatar; public TinyToon(String pseudo, String avatar) { this.pseudo = Optional.ofNullable(pseudo); this.avatar = Optional.ofNullable(avatar); } } 

Optional + flatMap getMayBeToon.apply(3).map(toon -> toon.avatar); //Optional[Optional[]] getMayBeToon.apply(3).flatMap(toon -> toon.avatar); //Optional[] ⚠ Optional 

–Probablement Wikipedia “In category theory, the concept of catamorphism (from Greek: κατά = downwards or according to; μορφή = form or shape) denotes the unique homomorphism from an initial algebra into some other algebra. ” 

Either, another ❤ monad there is no Either with Java 8 A type with 2 sub-types Left & Right 

pas bon - bon Either.left( ) Either.right() 

Catamorphisme avec Either toInt.apply("40").map(value -> value + 2) .cata(err -> { System.out.println(" ouille"); return 0; }, res -> { // right System.out.println(" yes: " + res); return res; }); // yes: 42 toInt.apply("quarante-deux").map(value -> value + 2) .cata(err -> { System.out.println(" ouille"); return 0; }, res -> {// right System.out.println(" yes: " + res); return res; }); // ouille