巴西人吃什麼？米飯、豆子和類型理論？ 我最喜歡的三種程式語言是在巴西創造的：Lua、Elixir 和 Lean（我對 Lean 還很陌生）。