Elixir完全に理解した

(完全に理解したとは言っていない)。解説的。

Transcript

1. Elixir完全に理解した
2. .｡oO(さっちゃんですよヾ(〃l _ l)ﾉﾞ✩)
3. 2018/06/16
4. @ 秋葉原 東京
5. Erlang & Elixir Fest 2018
6. 劃期的なグラフ現る
7. 經驗
8. 經驗 自信
9. 經驗 自信 Elixir完全に理解した
10. 經驗 自信 Elixir完全に理解した Elixir全然わからん
11. 經驗 自信 Elixir完全に理解した Elixir全然わからん Elixirチョットデキル
12. Elixir完全に理解した
13. Erlang & Elixirで世界は、 チャットサーバーを作り(LINE、LoL - Riot Games、Discord、enza)、 大量メール配信システムを作り(ユミルリンク)、 ニコ生を作り、 課金APIサーバーを作り(gumi)、 廣告APIサーバーを作り (Dreevee)、 〜を作り…
14. Elixirを皆さんは、 完全に理解する。
15. Process Functional Macro
16. Process Functional Macro
17. Processes are parallel.
18. Task 1 Task 2 t Task 1 Task 2 t t Non-parallel (just concurrent) Parallel
19. Parallel computation has multiple timelines. Each processes has independent timelines.
20. How processes work. send/2 register/2 monitor/1
21. How processes work. send/2 register/2 monitor/1
22. send(宛て先, message) Process Process pid send(pid, msg) msg VM
23. How processes work. send/2 register/2 monitor/1
24. Process.register(pid, process_name) Process Process pid send(name, msg) msg VM Registry name → pid register(name, pid)
25. Erlang (Elixir) <> Go
26. VM Proc Proc go channel go channel Erlang uses 宛て先 Go uses channel
27. How processes work. send/2 register/2 monitor/1
28. Process.monitor(pid | process_name) Process monitor(pid) Process {:DOWN, process} VM monitor Process Process VM dead
29. Process.link(pid | process_name) Process link(pid) Process exit VM monitor Process Process VM dead monitor
30. Process.link(pid | process_name) Process link(pid) Process exit VM monitor Process Process VM monitor dead
31. (Parallel + send/2 + register/2 + monitor/1) makes ↓ GenServer (Easy process), Supervisor (Easy monitor), :gen_event (Event handler manager), :gen_statem (State machine process), :gen_tcp (Async TCP I/O), Task (Easy background & parallel task), Agent (Easy state), GenStage (Parallel workflow), Flow (Easy GenStage), Registry (Distributed process registry), :rpc (Call remote node with no-border)
32. Process Functional Macro
33. Functional programming (函數型programming)
34. Ruby JavaScript C++, Objective C, Swift C# are not (or partially) functional.
35. Programming languages that built on functional programming : Lisp (Emacs Lisp, Common Lisp, Scheme, Racket, Clojure…) ML (SML, OCaml, F#…) Markov algorithm (Pure, Mathematica…) Proof assistant (Coq, Agda, Idris, F*…) Concatenative (Joy, Factor, Kitten, …) Haskell, PureScript, Erlang, Scala, Lazy K, Elm, APL/J…
36. Programming languages that built on functional programming : Lisp (Emacs Lisp, Common Lisp, Scheme, Racket, Clojure…) ML (SML, OCaml, F#…) Markov algorithm (Pure, Mathematica…) Proof assistant (Coq, Agda, Idris, F*…) Concatenative (Joy, Factor, Kitten, …) Haskell, PureScript, Erlang, Scala, Lazy K, Elm, APL/J…
37. Recipe of Elixir : Clojure Erlang Ruby Elixir
38. Recipe of Elixir : Build Clojure (Lisp on JVM) in Ruby form on top of Erlang.
39. Elixir is functional. Higher-order function Immutable data No implicit state (except process & macro)
40. Elixir is functional. Higher-order function : Enum.map(1..42, &(&1 + 1))
41. Elixir is functional. Immutable data : data = update_in(data.a.b, &(&1 || 42))
42. Elixir is functional. No implicit state (except process & macro) : def get(key, state), do: {state[key], state}
43. Elixir is functional. Strong abstraction mechanism (See Haskell). Good debuggability. Good testability.
44. ※Column Debugging tools for Elixir : :observer :observer_cli (3rd party) ReconTrace (3rd party wrapper of official :dbg) :fprof :eflame (3rd party)
45. Process Functional Macro
46. Recipe of Elixir : Build Clojure (Lisp on JVM) in Ruby form on top of Erlang.
47. Clojure & Ruby has nice meta-programming mechanism. Elixir has macro.
48. Macro is a function which convert a program to a program.
49. Use Case : GenServer To reduce boilerplate codes. defmodule Example do use GenServer End GenServer.start_link(Example, nil)
50. Use Case : Ecto To write declarative code (DSL). defmodule User do use Ecto.Schema schema “user” do field :name, :string, default: “ももんが” end end
51. Use Case : with_context (in our product) Implicit programming. card = with_context(context, get_card!(1)) 　　　　　　　　　　　　↑ {card, context} = get_card!(1, context) card
52. Elixir has Parallel process Functional Productive macro
53. Erlang & Elixir’s ecosystem : Web application (Phoenix, Ecto, Quantum) Bot (Hedwig) Web browser frontend (ElixirScript, Elchemy) IoT (Nerves, GRiSP) BlockChain (æternity) 3D modeling (Wings 3D) Message Queue (RabbitMQ, VerneMQ) DB (Riak, LeoFS)
54. Elixir完全に理解した