更多的数据结构和更深入的类型研究。