что едят бразильцы? рис, фасоль и теорию типов? 3 из моих любимых языков программирования были созданы в Бразилии: lua, elixir и lean (я довольно нов в lean).