编程语言选型：你需要了解的二三事

毕业之后一直混迹在创业公司，经历过很多次产品从0到1的过程。产品在开发之前都会面临一个常见问题，即技术选型，首当其冲的是采用哪门编程语言来开发我们的产品。编程语言往大了讲是很复杂的，语法，类型系统，编译原理，编译器，解释器，内存模型，并发模型，工具链等等，单拿一点出来都能写一本书。本次 Chat 要介绍的内容限定在类型系统（Type Systems），语法（Syntax）和编程范式（Programming Paradigms）上。其他内容会在后续的 Chat 里讲述。

参加这场 Chat 能收获什么?

• 对于开发人员，可以系统地了解各种类型特性，语法特性和编程范式。
• 对于架构师或者技术 Leader，可以为编程语言的选型提供理论依据。

本场 Chat 主要内容：

• 类型系统
• 类型理论
• 语言规范
• 编程范式
• 选型参考