巴西人吃什么？米饭、豆子和类型理论？ 我最喜欢的三种编程语言是在巴西创建的：Lua、Elixir 和 Lean（我对 Lean 还很陌生）。