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

Elixir em Foco

Вміст надано Elixir em Foco. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Elixir em Foco або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.

1+ y 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⁠

55 епізодів

#Tecnologia #Elixir Em Foco