Functional programming

Transcript

1. FP functional programming
2. K. k47.cz @kaja47 Karel Čížek funkcionalne.cz
3. K. k47.cz @kaja47 Karel Čížek funkcionalne.cz
4. ┌─────┬─────────┬─────────┬─────────┬───────┬─┬───┬───────────────────────┐ ├─┬─╴ ├─────┐ ╷ │ ╶─┐ ┌─┐ │ ╶───┬─╴ │ ╶───┐ ╵ │ ╷ │ ╷ ╶───┐ ┌───────┬───╴ │ │ │ ┌─┘ ╶─┐ │ ├─┴─╴ │ │ ╵ │ ┌─╴ │ ┌─┴─┬─╴ ├───┘ │ │ └─┬─┐ ├─┘ ┌───┐ │ ╶─┬─┤ │ │ │ ┌─╴ │ │ ╵ ╶─┬─┘ │ ╶─┴─┘ ┌─┘ ╵ ╷ ╵ ┌─┘ ┌───┤ └─┐ │ │ │ ╶─┤ ╶─┤ └─┐ ╵ │ │ │ └─┘ ┌─┤ └───┬─┘ ┌─┴───────┤ ┌─┬─┴───┤ ┌─┴─┐ │ ╷ │ │ │ └─┐ ├─╴ ├─╴ ├─╴ │ │ └─────┤ └───╴ │ ┌─┘ ╷ ╶─┬─╴ │ │ │ ┌─┐ ╵ │ ╷ ╵ │ └─┤ │ │ ╷ │ │ ╶─┤ ╶─┴─┐ │ │ ╶─┬─╴ │ ┌───┬─┘ │ ┌─┴─┐ └─┐ │ │ │ ╵ └───┘ ├───┴─┐ │ ╵ │ └─┘ └─╴ ├───┐ │ │ ├─╴ │ ┌─┘ │ ╷ ╵ ╷ │ │ ╷ └─┐ │ │ ╵ ├───────┐ │ ┌─┐ │ └─╴ ├───┬───┐ │ ╷ │ └─┤ ├───┘ │ ┌─┴─┼───┘ │ ╵ │ ┌─┘ │ │ ┌─┘ ┌─┐ ╶─┘ │ │ │ └─┐ ╶─┘ ┌─┘ ╷ └─┘ │ └─┐ │ │ ╶─┐ │ ╵ ╷ │ ╶───┴─┬─┘ │ ╶─┴─┘ │ ┌─┘M└─┬───┤ │ └─┐ │ ┌───┘ ┌─┴─────┼─┐ │ │ │ ╷ └─┴─┬─┘ │ ╶───┐ └───┼─────┐ │ ├─╴ ┌─┘ ╷ │ │ ╷ ╵ ├─┘ ┌───┘ ┌───╴ ╵ │ │ │ │ ├─┬─╴ │ ╶─┴───┬─┴─┐ ╷ │ ┌─┐ └─┤ ╵ ╷ │ ┌─┘ ╵ ├─┴─┐ ╵ ┌─┴───╴ │ ┌─────┤ │ │ │ ╵ │ ╶─┴─────┐ ╵ ╷ │ │ │ │ └─┐ └───┤ │ └─┬───┘ ╷ ├───┴─╴ ┌───┼─┘ ┌─┐ │ │ │ ├─┐ ├───┬─╴ ╷ └───┤ ├─┘ │ └─╴ │ ╷ ┌─┘ └─┐ │ ╶─┬─┘ │ ╷ ╶───┘ ╷ │ ╶─┤ │ │ ╵ │ │ ╵ │ ╷ │ ╶─┴───┐ │ │ ╷ └─┬─╴ │ └─┘ ┌───┤ └─╴ │ ┌─┴─┴───┐ ┌─┤ └─┐ ╵ │ └─╴ │ ├───┘ │ └─────╴ │ │ │ ├───┘ ╶─┴─────┤ ╷ ├─────┤ │ ┌───╴ │ ╵ ├─╴ ├─┐ └───┬─┤ │ ┌───┴─────┬───┤ │ │ │ ┌───────────┤ │ │ ┌─╴ ╵ │ └─┐ ┌─┴───┘ ╷ ╵ └─┬─┐ ╵ │ │ │ ┌───┬─╴ │ ╶─┘ │ │ ╵ │ ┌───────┐ │ │ │ └─┬───┴─╴ │ ╵ ┌─────┼───┐ ╵ ├─┐ │ │ ╵ │ ╷ │ ╶─┴─┐ ┌─┘ │ ┌─┘ │ ┌─┐ ╶─┘ │ │ └─┐ │ ╷ ╷ ┌─┴─┐ │ ┌─┐ ╵ ╷ └─┐ ╵ │ │ │ ┌─┴─┤ └───┐ ├─┘ ┌─┴─┘ ┌─┤ ╵ └───┬─┘ ├─╴ │ │ │ └─┤ ╷ └─┤ │ └───┼─╴ ├───┘ │ │ ╵ ╷ └─┐ ╶─┤ │ ┌─┘ ┌─┬─┘ └─┬───┐ ╵ ┌─┤ ┌─┘ │ └─┐ │ └─┐ │ └─╴ ╷ │ ┌─┘ ┌───┤ ├───┴─╴ └─╴ │ ╵ └─╴ │ ╵ ╶─┐ ╵ ╷ └───┘ ╵ ╵ ┌─┴─╴ │ └─╴ │ └─────┘ │ ╵ ╶─┘ ╷ │ └───────────┴───────┴─────┴───┴───────────┴─────┴─────┴─────────┴───────┴─┘ λαβύρινθος
5. Minotaurus
6. x = f (y)
7. referential transparency
8. equational reasoning
9. no side effects comfort vs. clarity
10. lazy vs. strict call by need infinite lists implicit order
11. alias vs. assignment values vs. variables
12. immutable data (effectively)
13. awkward useless slow
14. handy combinators
15. usefull facts/data defensive copy communication via mutation perception of changes REST you can cheat (locally)
16. fast structural sharing strict & lazy & views & iterators
17. GC who will clean the mess
18. Monads
19. ┌─────┬─────────┬─────────┬─────────┬───────┬─┬───┬───────────────────────┐ ├─┬─╴ ├─────┐ ╷ │ ╶─┐ ┌─┐ │ ╶───┬─╴ │ ┌───┐ ╵ │ ╷ │ ╷ ╶───┐ ┌───────┬───╴ │ │ │ ┌─┘ ╶─┐ │ ├─┴─╴ │ │ ╵ │ ┌─╴ │ ┌─┘ │ ╷ ├───┘ │ │ └─┬─┐ ├─┘ ┌───┐ │ ╶─┬─┤ │ │ │ ┌─╴ │ │ ╵ ╶─┬─┘ │ ╶─┴─┘ ┌─┘ ╵ ╷ │ ├─┘ ┌───┤ └─┐ │ │ │ ╶─┤ ╶─┤ └─┐ ╵ │ │ │ └─┘ ┌─┤ └───┬─┘ ┌─┴───────┤ ╷ ┌─┘ │ │ ┌─┴─┐ │ ╷ │ │ │ └─┐ ├─╴ ├─╴ ├─╴ │ │ └─────┤ └───╴ │ ┌─┘ ╶───────┤ │ │ ╷ │ ╵ ╵ ╷ ╵ │ └─┤ │ │ ╷ │ │ ╶─┤ ╶─┴─┐ │ │ ╶─┬─╴ │ ┌───┬─┘ │ ┌─────────┴─┴─┴─┘ └─────┴───┴─────┤ │ └─┘ └─╴ ├───┐ │ │ ├─╴ │ ┌─┘ │ ╷ ╵ ╷ │ │ │ ├───┬───┐ │ ╷ │ └─┤ ├───┘ │ ┌─┴─┼───┘ │ │ ├─┘ ┌─┘ ╷ └─┘ │ └─┐ │ │ ╶─┐ │ ╵ ╷ │ ╶───┴─┤ ├───┘ ┌─┴─────┼─┐ │ │ │ ╷ └─┴─┬─┘ │ ╶───┐ │ │ ┌───┘ ┌───╴ ╵ │ │ │ │ ├─┬─╴ │ ╶─┴───┬─┴─┤ ├─┴───╴ │ ┌─────┤ │ │ │ ╵ │ ╶─┴─────┐ ╵ ╷ │ ├─╴ ┌───┼─┘ ┌─┐ │ │ │ ├─┐ ├───┬─╴ ╷ └───┤ │ ├───┘ ╷ │ ╶─┤ │ │ ╵ │ │ ╵ │ ╷ │ ╶─┴───┐ │ │ ├─┐ ┌─┤ └─┐ ╵ │ └─╴ │ ├───┘ │ └─────╴ │ │ ├─┬─────────────┬─┬─┬─────┬─┬─┬───┘ │ ╵ ├─╴ ├─┐ └───┬─┤ │ ┌───┴─────┬───┤ │ │ │ ┌───────────┤ │ │ ┌─╴ ╵ │ └─┐ ┌─┴───┘ ╷ ╵ └─┬─┐ ╵ │ │ │ ┌───┬─╴ │ ╶─┘ │ │ ╵ │ ┌───────┐ │ │ │ └─┬───┴─╴ │ ╵ ┌─────┼───┐ ╵ ├─┐ │ │ ╵ │ ╷ │ ╶─┴─┐ ┌─┘ │ ┌─┘ │ ┌─┐ ╶─┘ │ │ └─┐ │ ╷ ╷ ┌─┴─┐ │ ┌─┐ ╵ ╷ └─┐ ╵ │ │ │ ┌─┴─┤ └───┐ ├─┘ ┌─┴─┘ ┌─┤ ╵ └───┬─┘ ├─╴ │ │ │ └─┤ ╷ └─┤ │ └───┼─╴ ├───┘ │ │ ╵ ╷ └─┐ ╶─┤ │ ┌─┘ ┌─┬─┘ └─┬───┐ ╵ ┌─┤ ┌─┘ │ └─┐ │ └─┐ │ └─╴ ╷ │ ┌─┘ ┌───┤ ├───┴─╴ └─╴ │ ╵ └─╴ │ ╵ ╶─┐ ╵ ╷ └───┘ ╵ ╵ ┌─┴─╴ │ └─╴ │ └─────┘ │ ╵ ╶─┘ ╷ │ └───────────┴───────┴─────┴───┴───────────┴─────┴─────┴─────────┴───────┴─┘ Μῑνώταυρος
20. tests sonOf ("Minos") == "Asterion"
21. objects vs. ADT expression problem polymorphism vs. pattern matching
23. Starring: Alan Turing as Daedalos (Δ ) αίδαλος John von Neumann as Íkaros ( ) καρος Peter Landin as Minōs ( ) Μίνως Ada Lovelace as Pasipháē ( ) Πασιφάη Alonzo Church as Cretan Bull Kurt Gödel as Poseidon ( ) Ποσειδῶν Joseph Marie Jacquard as Hēlios ( ) Ἠέλιος Tony Hoare as Minotaurus (Μῑνώταυρος) John McCarthy as Theseus ( ) Θησεύς Grace Hopper as Ariadne ( ) Ἀριάδνη