ts-类型问题

为什么需要类型系统

ts中的类型如何创建