类型的作用是什么

以下内容仅为自己理解，仅作参考

从生活开始

生活中经常会说，把东西分个类整理下，比如汽车，电脑，手机，它们是不同的类型;那么区分这些类型是为了什么呢？为了解决这个问题，我们把汽车，电脑，手机的概念去掉，任何东西都是一个物品,那么我们介绍一部手机的时候，会说，一个物品，而介绍一辆汽车的时候，也会说，他说一个物品，那么别人怎么知道你说的到底是什么呢？
其实在这里就是通过类型来区分的,类型给了我们一个对这个物品的大概印象，我们脑海中就会浮现出这个物品的一个基本形状，从而理解别人说的话

类型：类型帮助我们快速确定一个物体的基本形态，从而到达更好的交流的目的；
想想，是不是我们说到火车，飞机，人，汽车这些类型的东西的时候，你脑子里就已经有一个大概的轮廓了呢；

编程语言中的类型

• 程序验证，特定的工具只能处理特定的问题，函数也是一样，只能处理特定的数据，类型就可以作为检查验证外界传递的值是否合法的依据，一些无类型的语言无法从语言层面做到这点，只能依靠程序员自己进行检查
• 标识内存中的值如何解析，计算内存中只有01，编译器如何知道这些01怎么解析呢，类型给了依据，
  • 比如double，编译器会依据IEEE标准将内存中的8个连续字节解析为双精度浮点型
  • 比如某个class，编译器会依据用户定义的该class的格式对内存中相应大小的连续内存进行解析
• 还有很多其他的作用，可以参考知乎问答：编程语言的类型系统为何如此重要？