Що їдять бразильці? Рис, квасоля та теорія типів? Три мої улюблені мови програмування були створені в Бразилії: Lua, Elixir і Lean (я досить новачок у Lean).