如對于C語言的變量，我們有整型，實(shí)型，字符型等。那我們?yōu)槭裁葱枰獮榫幊陶Z言設(shè)計(jì)變量類型這個(gè)概念？為什么各種編程語言設(shè)計(jì)者不約而同地使用了【類型】這個(gè)概念，即使如Python這種不顯式指定類型的語言，一樣是強(qiáng)調(diào)類型這個(gè)概念。最初的編程語言設(shè)計(jì)者是如何想到，為【變量】設(shè)計(jì)【類型】這個(gè)概念呢？有了類型這個(gè)概念后，能為編程帶來什么樣的好處呢？如果我們是最初的那批編程語言的設(shè)計(jì)者，我們能夠理所當(dāng)然地想到為變量設(shè)計(jì)類型這一固有屬性嗎？為什么？或者說，如果為變量放棄了類型這個(gè)概念后，是否同樣能夠設(shè)計(jì)一套理所當(dāng)然的編程語言。我不知道我的問題表達(dá)清楚了嗎。這個(gè)概念，有種“百姓日用而不知”的那種感覺，一直在用，但說不清楚有啥好處。