با برنامه Player FM !
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/
57 قسمت
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/
57 قسمت
همه قسمت ها
×
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 José Valim (reprise) 1:07:44

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

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 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
به Player FM خوش آمدید!
Player FM در سراسر وب را برای یافتن پادکست های با کیفیت اسکن می کند تا همین الان لذت ببرید. این بهترین برنامه ی پادکست است که در اندروید، آیفون و وب کار می کند. ثبت نام کنید تا اشتراک های شما در بین دستگاه های مختلف همگام سازی شود.