Clojure@Echo 00 обзор, concurrency

Видео http://tonsky.livejournal.com/265218.html

Transcript

1. Echo // Ульяновск, 2012 # Clojure ЛИСП Функциональное программирование Развитая платформа Concurrency
2. Echo // Ульяновск, 2012 # Clojure ## ЛИСП Маленькое ядро Почти нет синтаксиса Код-как-данные
3. Echo // Ульяновск, 2012 # Clojure ## ФП First-class functions Lexical closures Ленивость Dynamic typing
4. Echo // Ульяновск, 2012 # Clojure ## JVM Быстрая Качественная Уровенем выше ОС, лучше абстракции Валом библиотек Валом инструментов
5. Echo // Ульяновск, 2012 # Clojure ## Concurrency Иммутабельность Персистентные структуры данных Software transactional memory Lock-free
6. Echo // Ульяновск, 2012 # Особенности ## Многоплатформенность Маленькое ядро Мало синтаксиса ↓ + JVM + .NET + JavaScript + Python + …?
7. Echo // Ульяновск, 2012 # Особенности ## Interop Уважает платформу Писать джаву на кложе проще, чем на джаве clj strings = java strings clj numbers = java numbers clj nil = java null
8. Echo // Ульяновск, 2012 # Особенности ## Перпендикулярность
9. Echo // Ульяновск, 2012 # Особенности ## Перпендикулярность-2 State = value + time OOP = functions + data
10. Echo // Ульяновск, 2012 # Особенности ## Перпендикулярность-3
11. Echo // Ульяновск, 2012 # Особенности ## Превозносит данные Программы перемалывают данные Классы это тюрьма для данных Стандартные структуры с богатой семантикой
12. Echo // Ульяновск, 2012 # Особенности ## Превозносит данные “It is better to have 100 functions operate on one data structure than to have 10 functions operate on 10 data structures.” - Alan J. Perlis
13. Echo // Ульяновск, 2012 # Особенности ## Открытость Мультиметоды, протоколы Метаданные Predicate dispatch вместо pattern matching Composable abstractions $().click().css() или (-> ($ ) (click ) (css))
14. Echo // Ульяновск, 2012 # Особенности ## Открытость-2 Управление всем Vars, namespaces, загрузка кода — всё программируется Дебаггер с брекпоинтами уместился в одну главу книги
15. Echo // Ульяновск, 2012 # Особенности ## Открытость-3 Compilation pipeline Compiler-as-a-service Как будто собираешь свой маленький компьютер
16. Echo // Ульяновск, 2012 # Особенности ## Макросы Все то, о чем мы так долго мечтали
17. Echo // Ульяновск, 2012 # Особенности ## Переиспользуемость Нет custom reader есть reader literals though Неймспейсится всё
18. Echo // Ульяновск, 2012 # Особенности ## Динамичность Новое для JVM REPL Компиляция в байткод на лету
19. Echo // Ульяновск, 2012 # Основы ## Как это выглядит “string” :keyword ‘(\L \i \s \t) [:V :e :c :t :o :r] #{“S” “e” “t”} {:key value, :key2 value2} \C #”[Rr]egexp?”
20. Echo // Ульяновск, 2012 # Основы ## А в видеоверсии — сделал #inst ”2012-06-26T11:00:00.00+04:00” java.util.Date #uuid “uuid-string” java.util.UUID
21. Echo // Ульяновск, 2012 # Основы ## Как это выглядит-2 (ns echo.clojure-u.lecture1 (:use clojure.java.io [clojure.string :only [replace]])) (def x 10) (defn hello [arg & args] (println “Hello, “ arg))
22. Echo // Ульяновск, 2012 # Основы ## Как это выглядит — всё вместе (condp some [1 2 3 4] #{0 6 7} :>> inc #{4 5 9} :>> dec #{1 2 3} :>> #(+ % 3))
23. Echo // Ульяновск, 2012 # Основы ## Что вообще происходит? (some #{0 6 7} [1 2 3 4]) ↳(or (#{0 6 7} 1) ; nil (#{0 6 7} 2) ; nil (#{0 6 7} 3) ; nil (#{0 6 7} 4)) ; nil ==> nil (some #{4 5 9} [1 2 3 4]) ↳(or (#{4 5 9} 1) ; nil ... ; nil (#{4 5 9} 4) ; 4 ==> 4 :>> (dec 4) ==> 3
24. Echo // Ульяновск, 2012 # Основы ## Destructuring (let [kv … [k v] kv]) (let [{k :k, v :v} m]) (let [{:keys [k v]} m])
25. Echo // Ульяновск, 2012 # Основы ## Функции (fn [x y] (+ x y)) #(+ %1 %2) #(+ % %)
26. Echo // Ульяновск, 2012 # Основы ## Функции-2 (def f (fn [x y] (+ x y))) (defn f [x y] (+ x y)) (defn f ([x] …) ([x y] …))
27. Echo // Ульяновск, 2012 # Основы ## Функции-3 (defn constrained-sqr [x] {:doc “Documentation” :pre [(pos? x)] :post [(> % 16), (< % 225)]} (* x x))
28. Echo // Ульяновск, 2012 # Основы ## Concurrency — vars Хранят значения «глобальных» функций и переменных, то, что хранится в namespace. Thread-local rebind (binding)
29. Echo // Ульяновск, 2012 # Основы ## Concurrency — vars Create/modify: (def x 1) (def ^:dynamic *debug* false) (binding [*debug* true] …) Read value: x *debug* Read var ref itself: #’x
30. Echo // Ульяновск, 2012 # Основы ## Concurrency — atoms Modify by applying a func Not coordinated Create: (def a (atom {})) Modify: (swap! a assoc :x 1) (reset! a {:x 2}) Read: @a
31. Echo // Ульяновск, 2012 # Основы ## Concurrency — refs Modify by applying a func Coordinated Accessible/modifiable inside (dosync) only
32. Echo // Ульяновск, 2012 # Основы ## Concurrency — refs Create: (def a (ref {})) Modify: (dosync (alter a assoc :x 1) (ref-set a {:x 2})) Read: (dosync @a)
33. Echo // Ульяновск, 2012 # Основы ## Concurrency — agents Modify by “sending” a func Will be applied in a different thread Coordinated with STM Always available to read
34. Echo // Ульяновск, 2012 # Основы ## Concurrency — agents Create: (def a (agent {})) Modify: (dosync (send a assoc :x 1) (send-off a {:x 2})) Read: @a
35. Echo // Ульяновск, 2012 # Основы ## Concurrency — delivering results (let [f (future (do …))] @f) (let [p (promise)] (future (deliver p :res)) @p)
36. Echo // Ульяновск, 2012 Никита Прокопов tonsky.livejournal.com Echo, Ульяновск 26 июня 2012 aboutecho.com echorussia.ru Обсуждение лекции: tonsky.livejournal.com/265121.html