Clojure@NSU 00

Transcript

1. # mainstreamless ## Clojure 00 Никита Прокопов tonsky.livejournal.com 6 марта 2013
2. # Причины создания clojure.org/rationale Развитая платформа ЛИСП Функциональное программирование Concurrency
3. # JVM Быстрая Качественная Уровенем выше ОС, лучше абстракции Валом библиотек Валом инструментов
4. # JVM Уважает платформу Писать джаву на кложе проще, чем на джаве clj strings == java strings clj numbers == java numbers clj nil == java null
5. # LISP Гибкий Динамичный — новое для JVM Маленькое ядро → портируемость Почти нет синтаксиса Код-как-данные
6. # LISP def if do let quote var fn loop recur throw try monitor-enter monitor-exit . new set!
7. # LISP REPL Открытость — всё управляемо Даже синтаксис!
8. # ФП Удобный инструмент First-class functions Lexical closures Ленивость Dynamic typing
9. # Как это выглядит public class StringUtils { public static boolean isBlank(String str) { int strLen; if (str == null || (strLen = str.length()) == 0) { return true; } for (int i = 0; i < strLen; i++) { if ((Character.isWhitespace(str.charAt(i)) == false)) { return false; } } return true; } }
10. # Как это выглядит (defn blank? [s] (every? #(Character/isWhitespace %) s))
11. # Как это выглядит public class StringUtils { public static boolean isBlank(String str) { int strLen; if (str == null || (strLen = str.length()) == 0) { return true; } for (int i = 0; i < strLen; i++) { if ((Character.isWhitespace(str.charAt(i)) == false)) { return false; } } return true; } } (defn blank? [s] (every? #(Character/isWhitespace %) s))
12. # Синтаксис method() method(arg) object.method(arg) Map<String, String> map = new HashMap<String, String>(); map.put(“key”, “value”); (f) (f arg) (f object arg), (.method o a) (def map {:key “value”})
13. # Синтаксис (defn f [x y] (+ x y)) [1 2 3] (1 2 3) {:x 1 :y 2} #{:x :y :z}
14. # Философия См. youtube.com/clojuretv Особенно (!) Rich Hickey
15. # Открывайте данные Программы перемалывают данные Не прячьте их “It is better to have 100 functions operate on one data structure than to have 10 functions operate on 10 data structures.”
16. # Открывайте данные distinct filter remove for keep keep-indexed cons concat lazy-cat mapcat cycle interleave interpose rest next fnext nnext drop drop-while nthnext for take take-nth take-while butlast drop-last for flat- ten reverse sort sort-by shuffle split-at split-with partition partition-all partition-by map pmap mapcat for replace reductions map-indexed seque first ffirst nfirst second nth when-first last rand-nth zipmap into reduce set vec into-array to-array-2d frequen- cies group-by apply not-empty some reduce seq? eve- ry? not-every? not-any? empty? some filter doseq do- run doall realized? seq vals keys rseq subseq rsubseq lazy-seq repeatedly iterate repeat range line-seq resultset-seq re-seq tree-seq file-seq xml-seq itera-
17. # Decomplecting Var = value + time Object = state + identity + value Method = func + state + namespace Actors = what + who Loops = what + how ...
18. # Открытость Мультиметоды, протоколы Метаданные Predicate dispatch вместо pattern matching Composable abstractions $().click().css() или (-> ($ ...) (click ) (css))
19. # Переиспользуемость Неймспейсится всё Нет custom reader, есть EDN Полиморфизм через протоколы
20. # Комбинируемость Avoid things that do not compose Manual locking Imperative code
21. # Concurrency ## Задача колония муравьев собирает пищу каждый муравей — отдельный поток общая карта еды рисовать положение дел
22. # Concurrency ## Задача
23. # Concurrency ## Проблемы неатомарные операции согласованное принятие решений когерентное состояние мира
24. # Проблемы многопоточного программирования «Мир» постоянно меняется Просадка скорости на syncs Dead locks Live locks Легко ошибиться Сложно просчитать варианты Сложно тестировать
25. # Immutable data structures Легко шарить между потоками Операции атомарны по определению Едят кучу памяти (медленно?)
26. # Persistent data structures «Умно» делят общие части Едят мало памяти Быстрые (почти константная стоимость) Портированы в Scala :)
27. # List 1 2 3 list1 head tail list2 head tail list3 head tail
28. # Vector v
29. # Vector v
30. # Vector v
31. # Vector v
32. # Vector v
33. # Vector v
34. # Vector v ... ...
35. # Vector v ... ... up to 32 elms log 32 (size)
36. # Vector v ... ... up to 32 elms log 32 (size) 00[00000][00000][00000][00000][00001][00100]
37. # Map ## Hash trie
38. # Map
39. # Atoms (def x (atom 1)) ;; #’user/x (swap! x inc) ;; 2 (swap! x inc) ;; 3 (swap! x inc) ;; 10 (?) (swap! x #(Math/sin %)) ;; -0.544...
40. # Atoms 1 x
41. # Atoms 1 2 x (f 1)
42. # Atoms 1 2 x swap!
43. # Atoms 1 2 x
44. # Atoms 1 2 3 x (f 2)
45. # Atoms 1 2 3 x swap!
46. # Atoms 1 2 3 x
47. # Atoms 1 2 3 x @x
48. # Atoms 1 2 3 x (f (f 1)) @x
49. # Atoms Для «простого» mutable state Явно выделенная «мутация» Атомарное изменение Любое значение — это всегда результат последовательного применения функций
50. # Atoms ## Конфликты 1 2 3 x (f 2) −2
51. 1 2 3 x (f −2) −2 −1 # Atoms ## Конфликты
52. 1 2 3 x swap! −2 −1 # Atoms ## Конфликты
53. # Agents (def x (agent 1)) ;; #’user/x (send x inc) ;; #<Agent@73703457: 2> (send x inc) ;; #<Agent@73703457: 3> (send x (fn [a] (Thread/sleep 1000) (inc a))) ;; #<Agent@73703457: 3> @x ;; #<Agent@73703457: 3> @x ;; #<Agent@73703457: 4>
54. # Agent 2 g f h thread pool
55. # Agent 2 h g f thread pool
56. # Agent 2 h g thread pool f
57. # Agent 2 h g thread pool f (f 2)
58. # Agent 3 h g thread pool (f 2)
59. # Agent 3 h g thread pool
60. # Agent 3 h thread pool g
61. # Agent Unit of work Похож на atoms, только… Для последовательных операций: heavy lifting, сохранение в файл, запись в сеть, конечные автоматы, … Выполняется в отдельном потоке Очередь сообщений Всегда наблюдаемое состояние
62. # STM Согласованное изменение состояния Проще рассуждать Сложнее ошибиться Composable Агенты работают с STM!
63. # STM
64. # Concurrency Иммутабельность Персистентные структуры данных Software transactional memory Lock-free Composable Безопасно!
65. # mainstreamless ## Clojure 00 Никита Прокопов tonsky.livejournal.com 6 марта 2013