Types 是否有一个术语来指变量未预先指定为类型的语言？

例如JS、Python、Ruby、Smalltalk等。在这些语言中，用代码编写变量类型的唯一地方是在实例化时。

---

我用“松散类型语言”这个术语思考，但发现它有点松散。也欢迎参考定义该术语的论文。

它通常被称为“Duck Typing”。请参阅。

调用不需要变量类型声明（清单类型）的语言。变量在运行时为“acquire”类型，并且是分配给它们的对象的类型。变量可以在每次为其指定新对象时更改其类型

---

我保留Duck类型仅指对象类型系统：它允许“更便宜”的实现通常我们通过使用正式接口实现的功能。

？但是看看Java，它不适合我描述的类别。Java不是一种动态类型化语言吗？虽然它是静态检查类型的，但默认情况下它也执行动态分派。。。您正在寻找一个术语，它描述在不指定类型的情况下创建变量，并且只在运行时检查正确性。这显然是动态类型，因为Java会给您带来错误。需要动态调度，因为多态性与动态键入几乎没有关系很好的尝试！但事实上，我认为Haskell（我很多年前就忘了它的大部分）也支持duck类型。但是你的回答也帮助我找到了答案，而不是wiki.c2.com。我要找的名字是“隐式类型”，它有不同的风格，如中所述。还有一个很好的鸭子打字页面！那你应该投赞成票，对吗？此外，如果“不错的尝试”的意思是“不太正确”，请说明原因。