我认为把动态类型、静态类型和鸭子类型混在一起很容易混淆。Duck typing是一个独立的概念，即使是像Go这样的静态类型语言，也可以有一个实现Duck typing的类型检查系统。如果类型系统检查(已声明的)对象的方法而不检查类型，则可以将其称为duck类型语言。

维基百科有相当详细的解释:

http://en.wikipedia.org/wiki/Duck_typing

鸭子打字是一种动态的风格 输入一个对象的电流 方法和属性集 而是确定有效的语义 比它从一个特定的继承 类的实现 接口。

重要的是，使用duck类型时，开发人员可能更关心被使用的对象部分，而不是实际的底层类型是什么。

Duck typing:

如果它像鸭子一样说话和走路，那么它就是一只鸭子

这通常被称为诱拐(诱拐推理或也称为归纳，我认为一个更清晰的定义):

从C(结论，我们所看到的)和R(规则，我们所知道的)，我们接受/决定/假设P(前提，属性)，换句话说，一个给定的事实 ．.． 医学诊断的基础 和鸭子:C =走路，说话，R =像鸭子，P =它是一只鸭子

回到编程:

对象o有方法/属性mp1和接口/类型T 要求/定义mp1 对象o有方法/属性mp2，接口/类型T要求/定义mp2 .．.

因此，不仅仅是简单地接受mp1…在任何对象上，只要它满足mp1的某些定义…，编译器/运行时也应该接受断言o是类型T

上面的例子是这样的吗?Duck输入实质上就是没有输入吗?或者我们应该称之为隐式类型?

它是一个用于没有强类型的动态语言中的术语。

其思想是，为了调用对象上的现有方法，您不需要指定类型——如果在对象上定义了方法，则可以调用它。

这个名字来源于一句话“如果它看起来像鸭子，叫起来像鸭子，那它就是鸭子”。

维基百科有更多的信息。

我试着用自己的方式去理解这句名言: “Python并不关心对象是否是真正的鸭子。 它只关心这个物体，首先‘呱呱’，其次‘像鸭子一样’。”

有一个很好的网站。http://www.voidspace.org.uk/python/articles/duck_typing.shtml#id14

作者指出，鸭子类型允许您创建自己的类 它们自己的内部数据结构-但使用正常的Python语法访问。

Duck Typing:

let anAnimal 

if (some condition) 
  anAnimal = getHorse()
else
  anAnimal = getDog()

anAnimal.walk()

上述函数调用在结构类型中无效

以下将适用于结构类型:

IAnimal anAnimal

if (some condition) 
      anAnimal = getHorse()
    else
      anAnimal = getDog()
    
anAnimal.walk()

这就是所有的，我们中的许多人已经直观地知道鸭子打字。