人类自然语言表述不精确，一个典型例子就是：你在说话时没法发出标点符号 比如编程里写 var id : number = 3，既指定了 id 的值是 3，又声明了它是 number 类型 换到汉语语境，大概是：var 问题 : problem = 我饿了，这里的「问题」其实是 problem 而不是 question，所以得声明类型 但我们口语里又发不出冒号的声音（如果你强行说出来会很怪），对