程式言的特性本（一）言言的信任抉
型系是底位元的抽象化，者只要解型，就可得知如何以高操作理料，者程式言的第一步，就是如何法得知型，也就是定用言或言。

具，言是指是否有料存型，反之言。

言的本身有型。例如底下的Java例中，text宣告String，就可考String例，若考至其它型，引：

String text = "programmer";
text = {'p', 'r', 'o'}; //

言的只用考料，本身不有型。例如底下的Python例中，text可考至str例，也可考至list例：

text = 'programmer'
text = ['p', 'r', 'o']

更多容：http://www.ithome.com.tw/itadm/article.php?c=73445