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

Elixir em Foco

内容由Elixir em Foco提供。所有播客内容（包括剧集、图形和播客描述）均由 Elixir em Foco 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品，您可以按照此处概述的流程进行操作https://zh.player.fm/legal。

1y ago 41:41

M4A•单集首页

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⁠

54集单集

#Tecnologia #Elixir Em Foco