DiscoverElixir em Foco32. A linguagem Lean, com Algebraic Sofia e Algebraic Gabi
32. A linguagem Lean, com Algebraic Sofia e Algebraic Gabi

32. A linguagem Lean, com Algebraic Sofia e Algebraic Gabi

Update: 2023-11-01
Share

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 


https://aripiprazole.dev/


https://gabx.io/ 


λ Algebraic


https://algebraic.dev/


https://github.com/lurasidone 


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


https://plfa.github.io/  


"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⁠

Comments 
loading
In Channel
José Valim (reprise)

José Valim (reprise)

2025-02-0501:07:44

GambiConf 2024

GambiConf 2024

2024-05-1404:55

31: Elixir Fortaleza

31: Elixir Fortaleza

2023-10-0455:14

loading
00:00
00:00
1.0x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

32. A linguagem Lean, com Algebraic Sofia e Algebraic Gabi

32. A linguagem Lean, com Algebraic Sofia e Algebraic Gabi

Elixir em Foco

We and our partners use cookies to personalize your experience, to show you ads based on your interests, and for measurement and analytics purposes. By using our website and our services, you agree to our use of cookies as described in our Cookie Policy.