Funkcionální programování a Clojure

Prezentace k přednášce o Funkcionálním programování a Clojure pro GDG Hradec Králové

Odkazy
Interaktivní dokumentace - http://conj.io/
Online Koans - http://www.4clojure.com/
Implementace funkce partition - https://github.com/clojure/clojure/blob/clojure-1.6.0/src/clj/clojure/core.clj#L2897
Cestování v čase pomocí atomů - https://swannodette.github.io/2013/12/31/time-travel/
Interaktivní tutorial pro CLJS v LightTable - https://github.com/swannodette/lt-cljs-tutorial
Záznam - https://www.youtube.com/watch?v=E61Er0u5GLU

Transcript

1. Funkcionální programování
 a Clojure @alesroubicek
6. Kód jsou data
7. Typy string "foo" character \f integer 42, 42N floating point 3.14, 3.14M boolean true nil nil symbol foo, + keyword :foo, ::foo
8. Datové struktury list sequential (1 2 3) vector sequential, random access [1 2 3] map associative {:a 1 :b 2} set membership #{:a :b :c}
9. Funkce (println "Hello Hradec!")
10. Funkce (println "Hello Hradec!") volání funkce parametr
11. Funkce (println "Hello Hradec!") list symbol string
12. Definice funkce (defn greet "Returns a friendly greeting" [your-name] (str "Hello, " your-name))
13. Definice funkce (defn greet "Returns a friendly greeting" [your-name] (str "Hello, " your-name)) function name doc string paramters function body
14. Definice funkce (defn greet "Returns a friendly greeting" [your-name] (str "Hello, " your-name)) list symbol symbol string vector symbol list symbol string symbol
15. A dál? • klíčová slova • operátory • speciální výrazy • direktivy preprocesoru
16. A dál? • klíčová slova • operátory • speciální výrazy • direktivy preprocesoru Zbytečný
17. That was awesome!
19. public <T> List<Pair<T, T>> toPairs(final Stream<T> s) { final AtomicInteger counter = new AtomicInteger(0); return s. collect(Collectors.groupingBy(item -> { final int i = counter.getAndIncrement(); return (i % 2 == 0) ? i : i - 1; })). values(). stream(). map(a -> new Pair<T, T>( a.get(0), (a.size() == 2 ? a.get(1) : null))). collect(Collectors.toList()); }
20. public <T> List<Pair<T, T>> toPairs(final Stream<T> s) { final AtomicInteger counter = new AtomicInteger(0); return s. collect(Collectors.groupingBy(item -> { final int i = counter.getAndIncrement(); return (i % 2 == 0) ? i : i - 1; })). values(). stream(). map(a -> new Pair<T, T>( a.get(0), (a.size() == 2 ? a.get(1) : null))). collect(Collectors.toList()); } WTF!?
22. (partition 2 list)
24. Not everything is awesome!
25. (defn print-board [board] (println (s/reverse (s/join "\n" (map (fn [row] (s/reverse (s/join " " (map (fn [item] (case item :x "x" :o "o" :nothing "_")) row) ))) board)))))
26. The first rule of functions is that they should be small.
27. Extract function refactoring (def item->str {:x "x" :o "o" nil "_"}) (defn row->str [row] (->> row (map item->str) (s/join " ") s/reverse)) (defn board->str [board] (->> board (map row->str) (s/join "\n") s/reverse))
28. Great programmers write baby code
29. Knihovny rozšiřují jazyk core.async - CSP jako v Go core.typed - statické typování jako v Haskellu core.match - pattern matching jako v Erlangu core.logic - logické programování jako v Prologu test.check - testování na základě vlastností - QuickCheck component - autonomní komponenty - IoC
30. Clojure • Praktický funkcionální jazyk • Dynamický, přesto silně typový • Jazyk na psaní mikrojazyků (DSLs) • Nové vlastnosti jazyka přidáváme pomocí knihoven (CSP, Pattern Matching, Prolog, Datalog…)
31. Funkcionální programování • Přímá manipulace s daty • Immutabilita usnadňuje uvažování i ve složitých případech • Kompozice z malých jednoduchých částí • Není to silver bullet, jen vhodný nástroj na určitou část problémů