Elixir & OTP 101 - Guia para iniciantes

Transcript

1. Guia rápido para iniciantes Elixir & OTP 2026
2. ELAINE NAOMI WATANABE Software Engineer/Developer (since 2008) Staff Software Engineer (since 2023) B.Sc. in Computer Engineering M.Sc. in Computer Science speakerdeck.com/elainenaomi Photo edited by AI :) linkedin.com/in/elainenaomi slides
4. Linguagem de Programação Funcional
5. Funções!!
6. Funções são cidadãs de primeira classe
7. Funções são cidadãs de primeira classe o que significa isso?
8. Função como variável tudo_maiusculo = &String.upcase/1 tudo_maiusculo.("olá, elixir") # OLÁ, ELIXIR
9. Função tudo_maiusculo = &String.upcase/1 tudo_maiusculo.("olá, elixir") # OLÁ, ELIXIR
10. Variável tudo_maiusculo = &String.upcase/1 tudo_maiusculo.("olá, elixir") # OLÁ, ELIXIR
11. Função como variável quadrado = fn x -> x * x end quadrado.(3) # 9
12. quadrado = fn x -> x * x end quadrado.(3) # 9 Função (anônima)
13. variável quadrado = fn x -> x * x end quadrado.(3) # 9
14. quadrado = fn x -> x * x end quadrado.(3) executa a função a partir da variável # 9
15. Função como argumento de entrada/parâmetro quadrado = fn x -> x * x end soma_2 = fn f, v -> f.(v) + 2 end soma_2.(quadrado, 3) # 11
16. quadrado = fn x -> x * x end Função 1 soma_2 = fn f, v -> f.(v) + 2 end soma_2.(quadrado, 3) # 11
17. quadrado = fn x -> x * x end soma_2 = fn f, v -> f.(v) + 2 end soma_2.(quadrado, 3) # 11 Função 2
18. quadrado = fn x -> x * x end soma_2 = fn f, v -> f.(v) + 2 end soma_2.(quadrado, 3) # 11 Função 1 como argumento (parâmetro) da Função 2
19. quadrado = fn x -> x * x end soma_2 = fn f, v -> f.(v) + 2 end soma_2.(quadrado, 3) # 11 Função 1 como argumento (parâmetro) da Função 2
20. quadrado = fn x -> x * x end soma_2 = fn f, v -> f.(v) + 2 end soma_2.(quadrado, 3) # 11 Função 1 como argumento (parâmetro) da Função 2
21. quadrado = fn x -> x * x end soma_2 = fn f, v -> f.(v) + 2 end soma_2.(quadrado, 3) # 11 Função 1 como argumento (parâmetro) da Função 2
22. quadrado = fn x -> x * x end soma_2 = fn f, v -> f.(v) + 2 end soma_2.(quadrado, 3) # 11 Função 1 como argumento (parâmetro) da Função 2
23. replicador = fn n -> fn s -> String.duplicate(s, n) end end triplica = replicador.(3) triplica.("Oi") # "OiOiOi"
24. replicador = fn n -> fn s -> String.duplicate(s, n) end end triplica = replicador.(3) triplica.("Oi") # "OiOiOi" Função 1
25. replicador = fn n -> fn s -> String.duplicate(s, n) end end triplica = replicador.(3) triplica.("Oi") # "OiOiOi" Função 2
26. replicador = fn n -> fn s -> String.duplicate(s, n) end end triplica = replicador.(3) triplica.("Oi") # "OiOiOi" Função como resposta de outra função
27. replicador = fn n -> fn s -> String.duplicate(s, n) end end triplica = replicador.(3) triplica.("Oi") # "OiOiOi"
28. replicador = fn n -> fn s -> String.duplicate(s, n) end end triplica = replicador.(3) triplica.("Oi") # "OiOiOi"
29. replicador = fn n -> fn s -> String.duplicate(s, n) end end triplica = replicador.(3) triplica.("Oi") # "OiOiOi"
30. Seu código vai ser organizado por meio de funções
31. Módulo List Módulo String # Funções para lidar com listas # Funções para lidar com cadeia de caracteres (texto) Módulo Time # Funções para lidar com o tempo exemplos
32. Funções Puras:
33. Funções Puras: mesmo argumento, mesmo resultado
34. B A f Funções Puras: mesmo argumento, mesmo resultado
35. Funções Puras: mesmo argumento, mesmo resultado Existem funções impuras mas não vai dar tempo de comentar sobre
36. Imutabilidade:
37. Imutabilidade: Os dados NÃO são modificados após a sua criação.
38. Imutabilidade: Precisa alterar um dado? Uma nova cópia com as modificações é criada.
39. OOP vs FP
40. class Counter def initialize @count = 0 end def increment @count = @count + 1 end end OOP
41. class Counter def initialize @count = 0 Em OOP, objetos vão ter um estado interno end def increment Informações em memória sobre suas propriedades / atributos @count = @count + 1 end end OOP
42. class Counter def initialize @count = 0 end @count começa com 0 "informação interna" def increment @count = @count + 1 end end OOP
43. class Counter def initialize @count = 0 end def increment c = Counter.new c.increment # @count = 1 c.increment # @count = 2 c.increment # @count = 3 @count = @count + 1 end end OOP
44. class Counter def initialize @count = 0 end def increment c = Counter.new c.increment # @count = 1 c.increment # @count = 2 c.increment # @count = 3 @count = @count + 1 end end OOP
45. class Counter def initialize @count = 0 end def increment c = Counter.new c.increment # @count = 1 c.increment # @count = 2 c.increment # @count = 3 @count = @count + 1 end end OOP
46. class Counter def initialize @count = 0 end def increment c = Counter.new c.increment # @count = 1 c.increment # @count = 2 c.increment # @count = 3 @count = @count + 1 end end OOP
47. class Counter def initialize @count = 0 end def increment c = Counter.new c.increment # @count = 1 c.increment # @count = 2 c.increment # @count = 3 @count = @count + 1 end end OOP
48. class Counter def initialize @count = 0 end def increment c = Counter.new c.increment # @count = 1 c.increment # @count = 2 c.increment # @count = 3 @count = @count + 1 end end OOP
49. class Counter def initialize @count = 0 end def increment c = Counter.new c.increment # @count = 1 c.increment # @count = 2 c.increment # @count = 3 @count = @count + 1 end end OOP
50. class Counter def initialize @count = 0 end def increment @count = @count + 1 c = Counter.new c.increment # @count = 1 c.increment # @count = 2 c.increment # @count = 3 "informação interna" mudou end end OOP
51. class Counter def initialize @count = 0 end def increment @count = @count + 1 c = Counter.new c.increment # @count = 1 c.increment # @count = 2 c.increment # @count = 3 o estado do objeto mudou end end OOP
52. class Counter def initialize @count = 0 end def increment @count = @count + 1 c = Counter.new c.increment # @count = 1 c.increment # @count = 2 c.increment # @count = 3 se esse estado for compartilhado? end end OOP
53. class Counter def initialize @count = 0 end def increment c = Counter.new c.increment # @count = ? c.increment # @count = ? c.increment # @count = ? @count = @count + 1 por exemplo: e se essas 3 chamadas fossem executadas ao end mesmo tempo? end OOP
54. class Counter def initialize @count = 0 end def increment @count = @count + 1 c = Counter.new c.increment # @count = ? c.increment # @count = ? c.increment # @count = ? qual seria o estado interno? end end OOP
55. class Counter def initialize @count = 0 end def increment @count = @count + 1 end c = Counter.new c.increment # @count = ? c.increment # @count = ? c.increment # @count = ? efeitos colaterais indesejados podem acontecer end OOP
56. defmodule Counter do def increment(count) do count + 1 end end Counter.increment(1) # 2 Counter.increment(1) # 2 Counter.increment(1) # 2 Pure FP
57. defmodule Counter do def increment(count) do count + 1 end end Counter.increment(1) # ? Counter.increment(1) # ? Counter.increment(1) # ? Pure FP
58. defmodule Counter do def increment(count) do count + 1 end end Counter.increment(1) # 2 Counter.increment(1) # 2 Counter.increment(1) # 2 Pure FP
59. defmodule Counter do B A f def increment(count) do count + 1 end end mesma entrada, mesma saída Counter.increment(1) # 2 Counter.increment(1) # 2 Counter.increment(1) # 2 Pure FP
60. A imutabilidade traz novas possibilidades
61. Concorrência
62. Concorrência Duas tarefas sendo executadas simultaneamente
63. Sem um estado compartilhado, a execução concorrente se torna mais fácil
64. process process process process
65. process process process process process process process process
66. process process process process process process process Obs: Estão desalinhado de propósito =P process
67. process process process process
68. process process process process
69. process process process process process process process process process process
70. process CPU 1 process process process process process process process CPU 2 process process
71. podemos rodar mais coisas ao mesmo tempo
72. e essa "mágica" toda é feita pelo Elixir? 󰨸
73. e essa "mágica" toda é feita pelo Elixir? 󰨸 Não exatamente pelo Elixir….
74. a "mágica" vai acontecer na máquina virtual do Erlang
75. BEAM (Erlang VM)
76. BEAM (Erlang VM) Logo mais o Elixir aparece :)
77. BEAM (Erlang VM) != Erlang (linguagem)
78. BEAM (Erlang VM) != Erlang/OTP
79. Erlang/Linguagem Erlang VM (BEAM) Erlang/OTP São 3 Erlangs diferentes
80. Erlang/Linguagem Erlang VM (BEAM) Erlang/OTP
81. BEAM: Björn's Erlang Abstract Machine
82. CPU 1 process process CPU 2 process process process process process process process
83. CPU 1 process process CPU 2 process process process process process process process
84. BEAM CPU 1 process process CPU 2 process process process process process process process
85. A BEAM vai abstrair como lidar com concorrência em cada máquina (linguagem) BEAM bytecode BEAM (Erlang VM)
86. (linguagem) BEAM bytecode BEAM (Erlang VM)
87. (linguagem) BEAM bytecode BEAM (Erlang VM)
88. BEAM bytecode BEAM (Erlang VM)
89. Não preciso me preocupar com quantas CPUs eu tenho BEAM bytecode BEAM (Erlang VM)
90. BEAM (Erlang VM) BEAM bytecode Inclusive pode rodar em máquinas diferentes (cluster) BEAM (Erlang VM)
91. +35 anos
92. telefonia
94. Habilidade de lidar (e recuperar-se) de falhas
95. Programação Funcional Concorrência Tolerância a falhas
96. Mas se já existia tudo isso…
97. Por que criar uma nova linguagem?
98. (Breve) História do Elixir
99. A linguagem Elixir foi criada em 2012 pelo José Valim
102. Thread-safe
103. Thread-safe BEAM (Erlang VM)
104. + abordagem mais moderna
105. https://www.youtube.com/watch?v=HdV1sjccUuU
106. Compatibilidade Extensibilidade Produtividade
107. Compatibilidade Extensibilidade Produtividade Elixir <-> Erlang
108. Compatibilidade Extensibilidade Produtividade Elixir <-> Erlang
109. Com isso, Elixir consegue usar o Erlang/OTP para lidar com concorrência na BEAM (Erlang VM)
110. Erlang/OTP + Bibliotecas + Primitivas de concorrência para a BEAM elixir BEAM process process scheduler scheduler core core
111. Compatibilidade Elixir <-> Erlang Extensibilidade ~> Metaprogramação Produtividade
112. Compatibilidade Elixir <-> Erlang Extensibilidade ~> Metaprogramação Produtividade
113. Compatibilidade Elixir <-> Erlang Extensibilidade ~> Metaprogramação Produtividade
114. Produtividade First-class documentation Tooling Hex packages
115. Produtividade First-class documentation Tooling Hex packages
117. + nova sintaxe
118. L ER G AN -module(hello). -export([world/0]). world() -> io:format("Hello, world\n"). hello.erl
119. IX EL IR defmodule Hello do def world do IO.puts "Hello, world" end end
120. O Hugo Baraúna pode contar mais sobre essa história :)
121. https://www.infoq.com/br/presentations/como-uma-empresa-brasileira-criou-uma-linguagem-que-e-usada-nomundo-inteiro/
122. Elixir no mundo real
123. Sistemas web (Phoenix) Aplicações distribuídas e tolerantes a falhas (via OTP) Internet das Coisas/Sistemas embarcados (Nerves) Machine Learning/IA e Data Science (Nx, Axon, Livebook) Pipelines de processamento de dados e muito mais
124. Discord, Pinterest, Spotify, Square Enix, etc
125. Elixir + Erlang/OTP = 💜
126. Nosso mundo atual é concorrente
127. Computadores multi-cores (multi-CPUs) Smartphones multi-cores
128. 2017 Até seu relógio tem mais de um processador. Concorrência não é mais a exceção, é regra. blog.plataformatec.com.br/2017/07/the-fallacies-of-web-application-performance/
129. E como conhecer mais sobre?
130. elixir-lang.org
131. https://hexdocs.pm/elixir/1.18.4/introduction.html
132. elixirschool.com
133. https://exercism.org/tracks/elixir/concepts
134. ElixirConf 2018 - Erlang OTP What's in the Box - João Britto youtube.com/watch?v=CozSfI-Zepw
139. https://www.youtube.com/@elixiremfoco
140. https://elixir-radar.com/
141. https://www.meetup.com/topics/elixir-programming/
142. t.me/elixirbr