以下內容僅爲自己理解，僅作參考
從生活開始
生活中經常會說，把東西分個類整理下，比如汽車，電腦，手機，它們是不同的類型;那麼區分這些類型是爲了什麼呢？爲了解決這個問題，我們把汽車，電腦，手機的概念去掉，任何東西都是一個物品,那麼我們介紹一部手機的時候，會說，一個物品，而介紹一輛汽車的時候，也會說，他說一個物品，那麼別人怎麼知道你說的到底是什麼呢？
其實在這裏就是通過類型來區分的,類型給了我們一個對這個物品的大概印象，我們腦海中就會浮現出這個物品的一個基本形狀，從而理解別人說的話
類型：類型幫助我們快速確定一個物體的基本形態，從而到達更好的交流的目的；
想想，是不是我們說到火車，飛機，人，汽車這些類型的東西的時候，你腦子裏就已經有一個大概的輪廓了呢；
編程語言中的類型
程序驗證，特定的工具只能處理特定的問題，函數也是一樣，只能處理特定的數據，類型就可以作爲檢查驗證外界傳遞的值是否合法的依據，一些無類型的語言無法從語言層面做到這點，只能依靠程序員自己進行檢查標識內存中的值如何解析，計算內存中只有01，編譯器如何知道這些01怎麼解析呢，類型給了依據，- 比如double，編譯器會依據IEEE標準將內存中的8個連續字節解析爲雙精度浮點型
- 比如某個class，編譯器會依據用戶定義的該class的格式對內存中相應大小的連續內存進行解析
- 還有很多其他的作用，可以參考知乎問答：編程語言的類型系統爲何如此重要？