El Polimorfismo Ad Hoc, también conocido como sobrecarga de funciones (function overloading) u operadores (operator overloading), es una forma de polimorfismo donde una función o método tiene múltiples definiciones, cada una con una signatura diferente (distinto número o tipo de parámetros). El compilador o intérprete selecciona la implementación correcta basándose en los tipos de los argumentos proporcionados en la llamada. A diferencia del polimorfismo paramétrico (generics) o de subtipos (herencia), las diferentes implementaciones no están necesariamente relacionadas por una estructura común o un contrato de interfaz, sino que son 'ad hoc' para cada tipo.
Este tipo de polimorfismo es una característica fundamental en muchos lenguajes de programación. Por ejemplo, en C++ y Java, la sobrecarga de métodos permite definir múltiples versiones de un método `print()` que acepten diferentes tipos (e.g., `print(int)`, `print(String)`). En Python, aunque no hay sobrecarga explícita de funciones en el mismo sentido que en C++ o Java, se puede lograr un efecto similar mediante el uso de argumentos por defecto o `*args`/`**kwargs`, o más formalmente con el módulo `functools.singledispatch` para la sobrecarga basada en el tipo del primer argumento. En lenguajes como Haskell, las 'type classes' proporcionan un mecanismo más estructurado para el polimorfismo ad hoc, permitiendo definir un conjunto de operaciones que pueden ser implementadas por diferentes tipos.
Para un arquitecto de sistemas, el Polimorfismo Ad Hoc es crucial para diseñar APIs intuitivas y bibliotecas reutilizables. Permite crear interfaces de usuario de código más limpias y expresivas, donde una única operación lógica (como 'sumar' o 'mostrar') puede aplicarse a diversos tipos sin requerir nombres de función distintos para cada uno. Sin embargo, un uso excesivo o inconsistente puede llevar a ambigüedades en el código, dificultando la lectura y el mantenimiento. La decisión de usar sobrecarga debe sopesarse con la claridad y la predictibilidad, especialmente en sistemas distribuidos donde la serialización y la compatibilidad de tipos son primordiales. Un buen diseño equilibra la flexibilidad que ofrece el polimorfismo ad hoc con la necesidad de un comportamiento claro y bien definido.