Chuyển sang chế độ ngoại tuyến với ứng dụng Player FM !
Podcast đáng để nghe
TÀI TRỢ BỞI


1 The Secret To Getting Inspired: Millie Bobby Brown & Chris Pratt Go Behind The Scenes 21:04
A linguagem de programação Elixir, com José Valim (Dashbit)
Manage episode 472170593 series 3276616
Neste episódio conjunto do Fronteiras da Engenharia de Software e do Elixir em Foco, Adolfo Neto, Maria Claudia Emer e Zoey Pessanha entrevistaram José Valim, criador da linguagem de programação Elixir. A conversa abordou o tema de boas práticas e anti-padrões (code smells) em Elixir, destacando a importância de pesquisas acadêmicas na área. Adolfo e Valim mencionaram especificamente o trabalho realizado por Lucas Vegi e Marco Tulio Valente, que investigaram code smells na comunidade Elixir, resultando em uma página dedicada a anti-padrões na documentação oficial da linguagem.
José Valim ressaltou a escassez de materiais sobre design patterns e refactoring para linguagens funcionais, enfatizando a necessidade de mais estudos e publicações sobre esses temas. Ele explicou que iniciativas como a documentação viva dos anti-padrões ajudam a comunidade a identificar práticas inadequadas e aprimorar continuamente a qualidade do código produzido.
Além disso, Valim discutiu brevemente o futuro do Elixir, mencionando projetos recentes como o desenvolvimento do Livebook, ferramenta semelhante ao Jupyter Notebook, e avanços relacionados à tipagem gradual. Ele destacou o potencial da linguagem para sistemas distribuídos e concorrentes, reforçando seu uso crescente por empresas ao redor do mundo. No fim, Valim respondeu qual é a próxima fronteira da Engenharia de Software.
José Valim:
X (Twitter): https://twitter.com/josevalim
LinkedIn: https://www.linkedin.com/in/josevalim/
Dashbit: https://dashbit.co/
Artigos científicos:
The Design Principles of the Elixir Type System
Giuseppe Castagna, Guillaume Duboc, José Valim
https://www.irif.fr/_media/users/gduboc/elixir-types.pdf
Guard analysis and safe erasure gradual typing: a type system for Elixir
Giuseppe Castagna, Guillaume Duboc
https://arxiv.org/abs/2408.14345
Links:
Ep. Roberto Ierusalimschy (Lua) https://fronteirases.github.io/episodios/paginas/52
Lua na BEAM https://hexdocs.pm/lua/Lua.html
Ep. Leonardo de Moura (Lean) https://fronteirases.github.io/episodios/paginas/41
Episódio Honey Potion https://www.youtube.com/watch?v=sCV17mv-glE
Honey Potion no GitHub https://github.com/lac-dcc/honey-potion
Tese Lucas Vegi https://repositorio.ufmg.br/handle/1843/80651
Artigos Lucas Vegi e Marco Tulio Valente
https://scholar.google.com/citations?hl=pt-BR&user=N6KnVK8AAAAJ&view_op=list_works&sortby=pubdate
You have built an Erlang https://vereis.com/posts/you_built_an_erlang
Beyond Functional Programming with Elixir and Erlang
https://blog.plataformatec.com.br/2016/05/beyond-functional-programming-with-elixir-and-erlang/
ChatGPTs para Elixir e Erlang https://gist.github.com/adolfont/a747dcc9cbef002f510b6dbf050695eb
Erlang Ecosystem Foundation https://erlef.org/
Entrevistas com José Valim https://open.spotify.com/playlist/0L3paiT1aHtYvW8LaM4XUV
Talvez o episódio com Bill Gates seja este https://www.bbc.co.uk/programmes/w3ct6pmw
Guillaume Duboc https://gldubc.github.io/
PhD student at Université Paris Cité, under the supervision of Giuseppe Castagna https://www.irif.fr/~gc/
Snow Xuejing Huang (pós-doutoranda) https://xsnow.live/
From dynamic to static, Elixir begins its transformation
https://www.ins2i.cnrs.fr/en/cnrsinfo/dynamic-static-elixir-begins-its-transformation
Elixir Type Checker - A (prototype) type checker for Elixir based on set-theoretic type systems.
Bringing Types to Elixir by Giuseppe Castagna and Guillaume Duboc | ElixirConf EU 2023
https://www.youtube.com/watch?v=gJJH7a2J9O8
Quem é José Valim? Respostas de vários LLMs
https://gist.github.com/adolfont/a95b7e37867cc1b2e24cd0e372727d8c
Honey Potion
https://www.youtube.com/watch?v=CoFNns01VjA
RefactorEx
https://github.com/gp-pereira/refactorex
Jido framework
https://github.com/agentjido/jido
Fronteiras da Engenharia de Software https://fronteirases.github.io/
Elixir em Foco https://www.elixiremfoco.com/
58 tập
Manage episode 472170593 series 3276616
Neste episódio conjunto do Fronteiras da Engenharia de Software e do Elixir em Foco, Adolfo Neto, Maria Claudia Emer e Zoey Pessanha entrevistaram José Valim, criador da linguagem de programação Elixir. A conversa abordou o tema de boas práticas e anti-padrões (code smells) em Elixir, destacando a importância de pesquisas acadêmicas na área. Adolfo e Valim mencionaram especificamente o trabalho realizado por Lucas Vegi e Marco Tulio Valente, que investigaram code smells na comunidade Elixir, resultando em uma página dedicada a anti-padrões na documentação oficial da linguagem.
José Valim ressaltou a escassez de materiais sobre design patterns e refactoring para linguagens funcionais, enfatizando a necessidade de mais estudos e publicações sobre esses temas. Ele explicou que iniciativas como a documentação viva dos anti-padrões ajudam a comunidade a identificar práticas inadequadas e aprimorar continuamente a qualidade do código produzido.
Além disso, Valim discutiu brevemente o futuro do Elixir, mencionando projetos recentes como o desenvolvimento do Livebook, ferramenta semelhante ao Jupyter Notebook, e avanços relacionados à tipagem gradual. Ele destacou o potencial da linguagem para sistemas distribuídos e concorrentes, reforçando seu uso crescente por empresas ao redor do mundo. No fim, Valim respondeu qual é a próxima fronteira da Engenharia de Software.
José Valim:
X (Twitter): https://twitter.com/josevalim
LinkedIn: https://www.linkedin.com/in/josevalim/
Dashbit: https://dashbit.co/
Artigos científicos:
The Design Principles of the Elixir Type System
Giuseppe Castagna, Guillaume Duboc, José Valim
https://www.irif.fr/_media/users/gduboc/elixir-types.pdf
Guard analysis and safe erasure gradual typing: a type system for Elixir
Giuseppe Castagna, Guillaume Duboc
https://arxiv.org/abs/2408.14345
Links:
Ep. Roberto Ierusalimschy (Lua) https://fronteirases.github.io/episodios/paginas/52
Lua na BEAM https://hexdocs.pm/lua/Lua.html
Ep. Leonardo de Moura (Lean) https://fronteirases.github.io/episodios/paginas/41
Episódio Honey Potion https://www.youtube.com/watch?v=sCV17mv-glE
Honey Potion no GitHub https://github.com/lac-dcc/honey-potion
Tese Lucas Vegi https://repositorio.ufmg.br/handle/1843/80651
Artigos Lucas Vegi e Marco Tulio Valente
https://scholar.google.com/citations?hl=pt-BR&user=N6KnVK8AAAAJ&view_op=list_works&sortby=pubdate
You have built an Erlang https://vereis.com/posts/you_built_an_erlang
Beyond Functional Programming with Elixir and Erlang
https://blog.plataformatec.com.br/2016/05/beyond-functional-programming-with-elixir-and-erlang/
ChatGPTs para Elixir e Erlang https://gist.github.com/adolfont/a747dcc9cbef002f510b6dbf050695eb
Erlang Ecosystem Foundation https://erlef.org/
Entrevistas com José Valim https://open.spotify.com/playlist/0L3paiT1aHtYvW8LaM4XUV
Talvez o episódio com Bill Gates seja este https://www.bbc.co.uk/programmes/w3ct6pmw
Guillaume Duboc https://gldubc.github.io/
PhD student at Université Paris Cité, under the supervision of Giuseppe Castagna https://www.irif.fr/~gc/
Snow Xuejing Huang (pós-doutoranda) https://xsnow.live/
From dynamic to static, Elixir begins its transformation
https://www.ins2i.cnrs.fr/en/cnrsinfo/dynamic-static-elixir-begins-its-transformation
Elixir Type Checker - A (prototype) type checker for Elixir based on set-theoretic type systems.
Bringing Types to Elixir by Giuseppe Castagna and Guillaume Duboc | ElixirConf EU 2023
https://www.youtube.com/watch?v=gJJH7a2J9O8
Quem é José Valim? Respostas de vários LLMs
https://gist.github.com/adolfont/a95b7e37867cc1b2e24cd0e372727d8c
Honey Potion
https://www.youtube.com/watch?v=CoFNns01VjA
RefactorEx
https://github.com/gp-pereira/refactorex
Jido framework
https://github.com/agentjido/jido
Fronteiras da Engenharia de Software https://fronteirases.github.io/
Elixir em Foco https://www.elixiremfoco.com/
58 tập
Tất cả các tập
×
1 Elixir em produção na MeetRox, com Ana Dubas e Thiago Zattar da Silveira 49:27

1 A linguagem de programação Elixir, com José Valim (Dashbit) 1:14:30

1 Gleam em Produção na Uncover, com Georges Boris 1:27:18

1 Retrospectiva 2024: Eventos, Aprendizados e Tendências no Mundo Elixir 1:07:39

1 Elixir em Produção na Trio Pagamentos, com David Alencar 45:30

1 Elixir em Produção na Remote, com Lívia Almeida Barbosa 57:22

1 Paulo Valente 2 - A Missão: IA e Machine Learning em Elixir com Nx 1:02:44

1 42. Iago Effting: Explorando Elixir em Produção na Finbits e a jornada da newsletter Café com Elixir 46:35

1 41. Explorando Elixir: A Trajetória de George Guimarães (CloudWalk e ex-Plataformatec) e suas Contribuições 1:08:17

1 40. BEAM em Produção na Ekinops (Fabian van 't Hooft e João Henrique Freitas) 50:37

1 39. Migração para Elixir: Experiências e Desafios com Samanta de Araújo 29:10

1 38. Elixir em Produção na Minha Biblioteca, com Thiago Leite Luiz 35:34

1 37. Explorando a Jornada de Bernardo Amorim: Experiências, Contribuições Open Source e Palestras 50:19

1 36. Da Supabase ao Elixir: Explorando Linguagens e Open Source com Filipe Cabaço 1:31:52

1 35. Explorando o Universo Elixir com Cherry Ramatis: Desenvolvimento, Comunidade e Conhecimento 45:07

1 34. Empregos, países e projetos: as novidades da equipe Elixir em Foco 59:27

1 33. Beacon CMS, com Leandro Pereira (DockYard) 54:08

1 32. A linguagem Lean, com Algebraic Sofia e Algebraic Gabi 41:41

1 30. Honey Potion (backend eBPF p/Elixir), com Fernando Quintão, Vinícius Pacheco, Kael Soares (UFMG) 44:47

1 Elixir em Foco na Code BEAM Brasil 2022 com Alexandre de Souza (Dashbit) 39:09

1 29. Redes Neurais com Nx em Elixir, com Lucas Tavano (SWAP) 55:45

1 28. Erlang com Vítor Andriotti (Riot Games via X-Team) 42:06

1 27. Elixir em Produção na Favu com Felippe José e Rodrigo Moretto 1:09:42


1 25. Elixir em Produção com Rodolfo Silva (CTO da Infleet) 39:01

1 24. Elixir Radar com Hugo Baraúna 1:07:58

1 23. Clojure com Camilo Cunha de Azevedo e Márcio Lopes de Faria 1:07:38

1 22. Projeto Spawn e comunidade eigr com Adriano Santos 43:16

1 21. TLA+ e Elixir com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems, Mestre em Computação pela UDESC 55:34

1 20. Transição de carreira para Elixir, com Julia Mathias, Engenheira de Software na Hightop 31:57

1 19. Aprendizado e Comunidade, com Bianca Cesarino e Fernanda Bernardo (Cumbuca) 55:14

1 18. Giorgio Torres, Desenvolvedor Elixir 1:07:20


1 17. Ulisses Almeida, Engenheiro de Software na Duffel 1:07:53

1 16. Atualizações da Equipe Elixir em Foco: Cris, Adolfo, Zoey e Herminio 1:06:42

1 15. Elixir Code Smells com Lucas Vegi (UFV) e Marco Tulio Valente (UFMG) 1:07:21

1 14. Elixir Protobuf com João Britto (e Elixir Brasil com João e Alda Rocha) 1:01:50


1 12. Elixir em Produção, com José Valim (Dashbit) 1:07:44

1 10. Elixir em Produção com Renan "Milhouse" Ranelli (Podium) 1:01:32

1 9. Elixir em Produção com Danilo Gonçalves e Jomaro Rodrigues (EBANX) 28:42

1 Elixir Extra com José Valim na Elixir Brasil 2021 29:43
Chào mừng bạn đến với Player FM!
Player FM đang quét trang web để tìm các podcast chất lượng cao cho bạn thưởng thức ngay bây giờ. Đây là ứng dụng podcast tốt nhất và hoạt động trên Android, iPhone và web. Đăng ký để đồng bộ các theo dõi trên tất cả thiết bị.