32. A linguagem Lean, com Algebraic Sofia e Algebraic Gabi
Description
Neste episódio do podcast Elixir em Foco, Adolfo Neto, Herminio Torres e Zoey Pessanha entrevistaram Sofia Rodrigues (Algebraic Sofia) e Gabrielle Guimarães de Oliveira (Algebraic Gabi) para discutir a linguagem de programação Lean. Durante a entrevista, eles exploraram vários aspectos da linguagem e a experiência das convidadas. Algumas das perguntas respondidas neste episódio:
O que é Lean e quais são suas características?
Por que e quando Gabi e Sofia se interessaram por Lean?
Por que Gabi e Sofia decidiram participar da Rinha de Backend com uma solução em Lean e C++?
O que foi a Rinha de Compiladores?
Este episódio ofereceu uma visão informativa da linguagem Lean. Aprender Lean pode ser uma experiência valiosa para a comunidade de Elixir.
Links:
Sofia Rodrigues
https://twitter.com/algebraic_sofia
https://github.com/algebraic-sofia
Gabrielle Guimarães de Oliveira
https://twitter.com/algebraic_gabi
https://github.com/aripiprazole
λ Algebraic
Rinha de Backend
https://github.com/zanfranceschi/rinha-de-backend-2023-q3
Rinha de Compiladores
https://github.com/aripiprazole/rinha-de-compiler
Raciocínio Automatizado com Leonardo de Moura https://www.youtube.com/watch?v=bwKFcLaeD1A
Programming Language Foundations in Agda
"The Economics of Programming Languages" by Evan Czaplicki (Strange Loop 2023) https://youtu.be/XZ3w_jec1v8?si=Oekqx6Zv57w6HJYa
Crafting Interpreters https://craftinginterpreters.com/
Engineering a Compiler
3rd Edition - August 20, 2022
Keith D. Cooper, Linda Torczon
https://shop.elsevier.com/books/engineering-a-compiler/cooper/978-0-12-815412-0
Nosso canal é https://www.youtube.com/@ElixirEmFoco
Associe-se à Erlang Ecosystem Foundation em https://bit.ly/3Sl8XTO. O site da fundação é https://bit.ly/3Jma95g.
Nosso site é https://elixiremfoco.com.
Estamos no Twitter em https://twitter.com/elixiremfoco
United States
