BestBlogs 09-28 早报精讲三篇：Elixir 创造者 José Valim 提出 AI 时代编程语言应提供更强程序保证，并建议把符号、调用图、类型等暴露为可查询的程序数据库。