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

Elixir em Foco

İçerik Elixir em Foco tarafından sağlanmıştır. Bölümler, grafikler ve podcast açıklamaları dahil tüm podcast içeriği doğrudan Elixir em Foco veya podcast platform ortağı tarafından yüklenir ve sağlanır. Birinin telif hakkıyla korunan çalışmanızı izniniz olmadan kullandığını düşünüyorsanız burada https://tr.player.fm/legal özetlenen süreci takip edebilirsiniz.

1+ y ago 41:41

M4A•Bölüm sayfası

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 bölüm

#Tecnologia #Elixir Em Foco