Tipografía de pato

El tipado dinámico es similar al tipado estructural , pero distinto . El tipado estructural es un sistema de tipado estático que determina la compatibilidad y equivalencia de tipos mediante la estructura de un tipo, mientras que el tipado dinámico es y determina la compatibilidad de tipos únicamente mediante la parte de la estructura de un tipo a la que se accede durante el tiempo de ejecución .

Los lenguajes TypeScript , ^{[ 6 ]} Elm ^{[ 7 ]} y Python ^{[ 8 ]} admiten tipado estructural en distintos grados.

Los protocolos e interfaces permiten declarar explícitamente que ciertos métodos, operadores o comportamientos deben estar definidos. Si una biblioteca de terceros implementa una clase que no se puede modificar, un cliente no puede usar una instancia de dicha clase con una interfaz desconocida para esa biblioteca, incluso si la clase cumple con los requisitos de la interfaz. Una solución común a este problema es el patrón adaptador . En cambio, con el tipado dinámico (duck typing), el objeto se aceptaría directamente sin necesidad de un adaptador.

Las funciones o métodos de plantilla (también llamados genéricos ) aplican la prueba del pato en un contexto de tipado estático ; esto conlleva todas las ventajas y desventajas de la comprobación de tipos estática frente a la dinámica . El tipado pato también puede ser más flexible, ya que solo se deben implementar los métodos que se llaman realmente en tiempo de ejecución, mientras que las plantillas requieren implementaciones de todos los métodos que no se pueden demostrar inaccesibles en tiempo de compilación.

En lenguajes como Java, Scala y Objective-C, se puede emplear la reflexión para inspeccionar si los objetos implementan métodos o agregar los métodos necesarios en tiempo de ejecución. Por ejemplo, la API MethodHandle de Java se puede usar de esta manera. ^{[ 9 ]}