A história por trás da criação do Elixir

Apresentei esta palestra na GambiConf 2024.

Nesta palestra vamos aprender sobre a história da criação do Elixir, uma linguagem de programação brasileira usada no mundo inteiro.

Transcript

1. A história por trás da criação do Elixir como um brasileiro criou uma linguagem que é usada no mundo inteiro
2. 2010 Thread-safe hell
3. 2010 Thread-safe hell 2024 Elixir no mundo inteiro
4. Por que fazer uma linguagem nova? 2010 2024 Thread-safe hell Elixir no mundo inteiro
5. Como tomamos essa decisão? 2010 2024 Thread-safe hell Elixir no mundo inteiro
6. Como open source ajudou? 2010 2024 Thread-safe hell Elixir no mundo inteiro
7. “ Personagens” dessa história
8. RODA NA ERLANG VM OPEN SOURCE FUNCIONAL
10. José Valim • Co-fundador da Plataformatec • Criador do Elixir • Chief Adoption of fi cer da Dashbit
11. Hugo Baraúna • Co-fundador Plataformatec • Engenheiro de computação • Dev advocate do Livebook @hugobarauna
12. Vamos lá?
13. POR QUE CRIAR UMA LINGUAGEM NOVA? Parte 1
14. 2010 Thread-safe hell Ruby on Rails 2.2
15. Por que thread-safe? Algo maior por trás
16. The free lunch is over “The biggest sea change in software development since the OO revolution is knocking at the door”
17. http://www.gotw.ca/publications/concurrency-ddj.htm
18. Lei de Moore “O número de transistors em um chip dobra a cada 2 anos”
19. E daí? Performance free lunch Por muitos anos, o avanço nas CPUs fazia nosso software fi car mais rápido sem fazermos nada”
20. Free lunch is over A partir de ~2003, o clock speed parou de crescer como antes. Se não fosse assim, hoje seria normal termos CPUs de 10 GHz.
21. As CPUs pararam de evoluir?
22. As CPUs começaram a evoluir de um modo diferente Antes Depois Clock speed Hyperthreading Execution optimization Multicore Cache Cache
23. Antes Depois Clock speed Hyperthreading Execution optimization Multicore Cache Cache As CPUs começaram a evoluir de um modo diferente
24. If you want your application to bene fi t from the continued exponential throughput advances in new processors, it will need to be a well-written concurrent (usually multithreaded) application - Herb Sutter “
25. Concurrency is the next major revolution in how we write software - Herb Sutter “
26. Lei de Amdahl Quanto menos paralelizável for seu código, menos velocidade ele vai ganhar com mais cores
27. Tirar mais benefício da evolução de multicore usando mais concorrência? Tirar menos benefício da evolução de multicore usando menos concorrência?
28. Tirar mais benefício da evolução de multicore usando mais concorrência! Tirar menos benefício da evolução de multicore usando menos concorrência?
29. Probably, the greatest cost of concurrency is that concurrency really is hard - Herb Sutter “
30. E se concorrência fosse fácil?
31. A BUSCA POR OUTRAS TECNOLOGIAS Parte 2
32. The vast majority of programmers today don’t grok concurrency, just as the vast majority of programmers 15 years ago didn’t yet grok objects - Herb Sutter “ 2005: 19 anos atrás
33. https://news.ycombinator.com/item?id=10096100 2015: 9 anos atrás
34. https://news.ycombinator.com/item?id=10096100 2015: 9 anos atrás
35. Quanto do código que você escreve hoje é concorrente? 2024: hoje
36. O problema é a primitiva de concorrência que estamos usando?
37. Seu código Runtime da linguagem Sistema operacional CPU Thread Thread é uma abstração de baixo nível Você está aqui
38. Seu código Runtime da linguagem Sistema operacional CPU Abstração nova de concorrência Precisamos de uma nova abstração Você está aqui
39. Vamos pesquisar outras tecnologias
41. Tecnologias que chamaram atenção Clojure Haskell
42. Funcional Imutabilidade: quando o estado não muda, pode ser acessado por várias threads sem a necessidade de locks (concorrência) Clojure Haskell Por que chamaram atenção? Abordagem moderna Funcionalidades como polimor f i Distribuição e tolerância a falha Suporte nativo a software rodando em múltiplas máquinas e com alta disponibilidade
43. Funcional Imutabilidade: quando o estado não muda, pode ser acessado por várias threads sem a necessidade de locks (concorrência) Clojure Haskell Por que chamaram atenção? Abordagem moderna Funcionalidades como polimor f i Distribuição e tolerância a falha Suporte nativo a software rodando em múltiplas máquinas e com alta disponibilidade
44. Funcional Imutabilidade: quando o estado não muda, pode ser acessado por várias threads sem a necessidade de locks (concorrência) Clojure Haskell Por que chamaram atenção? Abordagem moderna Funcionalidades como polimor fi smo e meta- programação Distribuição e tolerância a falha Suporte nativo a software rodando em múltiplas máquinas e com alta disponibilidade
45. Funcional Imutabilidade: quando o estado não muda, pode ser acessado por várias threads sem a necessidade de locks (concorrência) Abordagem moderna Funcionalidades como polimor fi smo e meta- programação Distribuição e tolerância a falha Suporte nativo a software rodando em múltiplas falhas e alta disponibilidade {
46. Funcional Imutabilidade: quando o estado não muda, pode ser acessado por várias threads sem a necessidade de locks (concorrência) Abordagem moderna Funcionalidades como polimor fi smo e meta- programação Distribuição e tolerância a falha Suporte nativo a software rodando em múltiplas falhas e alta disponibilidade {
47. Por que a Erlang virtual machine?
48. CONCORRÊNCIA DISTRIBUIÇÃO TOLERÂNCIA A FALHA A Erlang VM foi construída pensando em: Concorrência, distribuição e tolerância a falhas são nativas, baseados em primitivas da VM, ao invés de em bibliotecas externas. { {
49. 30+ anos de desenvolvimento A Erlang VM é battle-tested
50. O DESENVOLVIMENTO DO ELIXIR Parte 3
51. 2011 O primeiro protótipo
52. 2011 Explorando o desenvolvimento de uma nova linguagem Primeiro
53. 2011 “Elixir” em abril de 2011 Modelo de “objetos” Tinha um modelo de objetos baseado em prototypes Lento Muito lento. Eval em todo lugar Quebrando compatibilidade com a VM Quebrou o hot code swapping do Erlang
54. 2011 Explorando o desenvolvimento de uma nova linguagem Vale da desilusão
55. 2011 Explorando o desenvolvimento de uma nova linguagem Eu consigo!
56. 2011 Explorando o desenvolvimento de uma nova linguagem Não consigo :(
58. Direcionadores do Elixir Repensando para onde o design da linguagem deveria ir Produtividade Extensibilidade Compatibilidade
59. 2011 Estudando… Explorando o desenvolvimento de uma nova linguagem
60. 2011 Eureka! Explorando o desenvolvimento de uma nova linguagem
61. 2012 A decisão de investimento e o lançamento do Elixir
62. 2011 2012 Estou brincando em fazer uma nova linguagem
63. Hum… conte-me mais sobre isso… 2011 2012
64. Estava bem difícil fi car corrigindo problemas de concorrência no Rails 2011 2012
65. E existe esse negócio, o “free lunch is over” 2011 2012
66. O futuro é programação concorrente! 2011 2012
67. Então decidir tentar fazer uma nova linguagem 2011 2012
68. Da hora! E aí? 2011 2012
69. E daí que acho que a gente deveria investir meu tempo full time nisso 2011 2012
70. Oh really? 🤔 2011 2012
71. E não tem outra linguagem que faz o que tu queres? 2011 2012
72. A que chega mais perto do que pensei é Clojure. Ela roda na JVM. 2011 2012
73. Acho que seria bom ter uma opção de linguagem em uma VM diferente 2011 2012
74. E a VM do Erlang é perfeita pro que imagino para o futuro 2011 2012
75. Beleza, vamos nessa! 2011 2012
76. Fevereiro/2012 Criamos o logo e o site da linguagem
77. 2012 - 2013 A incerteza e o ponto de in fl exão
78. 2012 Lançamento do Elixir 2013 Isso vai funcionar?
79. 2012 Lançamento do Elixir Maio 2013 Dave Thomas anuncia seu livro sobre Elixir
80. Ponto de in fl exão Dave Thomas começa a evangelizar Elixir
81. Signatário do manifesto ágil Fundador da Pragmatic Programmers Escreveu o primeiro livro em inglês sobre Ruby Dave thomas
82. Jan/12 Feb/12 M ar/12 Apr/12 M ay/12 Jun/12 Jul/12 Aug/12 Sep/12 O ct/12 N ov/12 Dec/12 Jan/13 Feb/13 M ar/13 Apr/13 M ay/13 Jun/13 Jul/13 Aug/13 Pageviews do elixir-lang.org (efeito Dave Thomas)
83. 2013 - 2024 Do ponto de in fl exão até hoje
84. 2012 Lançamento do Elixir Maio 2013 Criador do Erlang publica que fi cou animado com Elixir Dave Thomas anuncia seu livro sobre Elixir Maio 2013
85. It didn’t take long, but pretty soon my gut feeling kicked in. This is good shit. - Joe Armstrong, creator of Erlang A week with Elixir “ ” https://joearms.github.io/published/2013-05-31-a-week-with-elixir.html
86. 2013 Dave Thomas anuncia seu livro sobre Elixir Junho 2013 O’Reilly anuncia criação de livro sobre Elixir Criador do Erlang publica que fi cou animado com Elixir 2013
87. 2013 Criador do Erlang publica que fi cou animado com Elixir Primeira ElixirConf O’Reilly anuncia criação de livro sobre Elixir 2013 2014
88. 2013 O’Reilly anuncia criação de livro sobre Elixir 2014 Phoenix Primeira ElixirConf 2014 Web framework
89. Primeira ElixirConf ~2015 Nerves Phoenix 2014 Software embarcado 2014 Nerves
90. Phoenix 2016 GenStage e Flow Nerves 2014 Ingestão e processamento de dados 2015 Streaming Concurrency Back-pressure
91. Nerves 2016 Nosso primeiro cliente de Elixir! GenStage e Flow 2015 1º retorno fi nanceiro para Plataformatec 2016 t 2012 2013 2014 2015 2016 $$ $$ $$ $$ $$ $
92. Nerves 2018 Membrane GenStage e Flow 2015 Processamento multimedia 2016
93. GenStage e Flow 2019 Broadway Membrane 2016 Pipeline de dados 2018
94. Membrane 2019 LiveView Broadway 2018 Simple Rich & Realtime Web 2019 LiveView
95. Broadway 2021 Nx LiveView 2019 Elixir compilando para GPU 2019
96. LiveView 2021 Livebook Nx 2019 Code notebooks 2021
97. Nx 2022 Axon Livebook 2021 Deep Learning 2021
98. Livebook 2022 Explorer Axon 2021 DataFrames 2022
99. Axon 2022 Bumblebee Explorer 2022 Modelos pre-treinados 2022
100. Import Tidy Transform Visualize Model Communicate Bumblebe Elixir stack para Data Science e Machine Learning
101. 2024 Hoje Como está o ecossistema de Elixir hoje?
102. 19.900+ bibliotecas https://hex.pm
103. 40+ livros https://github.com/sger/ElixirBooks#books
104. Conferências e meetups no mundo inteiro ElixirConf USA ElixirConf Europe Etc … Conferências Meetups
105. Utilizado em múltiplos domínios técnicos Web Embarcado Processamento de dados Processamento Multimedia Machine Learning Data Science
106. O poder do open source Bibliotecas 19.900+ Meetups 140+ Livros 40+ O ecossistema Elixir em 2024
107. FINALIZANDO
108. Pontos-chave Como uma empresa decide criar uma nova linguagem? Como sair do nada para uma comunidade mundial? Você não precisa ser grande para causar um grande impacto
109. Você não precisa ser grande para causar um grande impacto na indústria de software 134k 180k 10k 70
110. OBRIGADO! @hugobarauna