是否有一个术语来指代变量未预先分配类型的语言？
Is there a term to refer to languages where variables are not preassigned a type?
例如JS、Python、Ruby、Smalltalk等。在这些语言中，变量类型唯一在代码中写入的地方是在实例化时。
我在考虑术语 'loosely typed languages'，但发现它有点松散。也欢迎参考为此定义术语的论文。
通常称为"Duck Typing"。参见 https://en.wikipedia.org/wiki/Duck_typing。
不需要变量类型声明（清单类型）的语言被称为Dynamically Typed。变量 "acquire" 类型为 run-time 并且它是分配给它们的对象的类型。每次将新对象分配给变量时，变量都可以更改其类型。
我保留 Duck Typing 仅指对象类型系统：它允许 "cheaper" 实现通常我们使用正式接口实现的功能。
例如JS、Python、Ruby、Smalltalk等。在这些语言中，变量类型唯一在代码中写入的地方是在实例化时。 我在考虑术语 'loosely typed languages'，但发现它有点松散。也欢迎参考为此定义术语的论文。
通常称为"Duck Typing"。参见 https://en.wikipedia.org/wiki/Duck_typing。
不需要变量类型声明（清单类型）的语言被称为Dynamically Typed。变量 "acquire" 类型为 run-time 并且它是分配给它们的对象的类型。每次将新对象分配给变量时，变量都可以更改其类型。
我保留 Duck Typing 仅指对象类型系统：它允许 "cheaper" 实现通常我们使用正式接口实现的功能。