编程语言为什么有变量类型这个概念？ – 网络|

如对于C语言的变量，大家有整型，实型，字符型等。那大家为什么需要为编程语言设计变量类型这个概念？为什么各种编程语言设计者不约而同地使用了【类型】这个概念，即使如Python这种不显式指定类型的语言，一样是强调类型这个概念。最初的编程语言设计者是如何想到，为【变量】设计【类型】这个概念呢？有了类型这个概念后，能为编程带来什么样的好处呢？如果大家是最初的那批编程语言的设计者，大家能够理所当然地想到为变量设计类型这一固有属性吗？为什么？或者说，如果为变量放弃了类型这个概念后，是否同样能够设计一套理所当然的编程语言。偶不知道偶的问题表达清楚了吗。这个概念，有种“百姓日用而不知”的那种感觉，一直在用，但说不清楚有啥好处。