La programación tácita , también llamada estilo sin puntos , es un paradigma de programación en el que las definiciones de funciones no identifican los argumentos (o "puntos") sobre los que operan. En cambio, las definiciones simplemente componen otras funciones, entre las que se encuentran los combinadores que manipulan los argumentos. La programación tácita es de interés teórico, porque el uso estricto de la composición da como resultado programas que están bien adaptados para el razonamiento ecuacional . [1] También es el estilo natural de ciertos lenguajes de programación , incluido APL y sus derivados, [2] ylenguajes concatenativos como Forth . La falta de denominación de argumentos le da al estilo sin puntos una reputación de ser innecesariamente oscuro, de ahí el epíteto "estilo sin sentido". [1]
La idea clave en la programación tácita es ayudar a operar al nivel apropiado de abstracción.
La programación tácita se puede ilustrar con el siguiente código de Python . Una secuencia de operaciones como la siguiente:
... está escrito en estilo sin puntos como la composición de una secuencia de funciones, sin parámetros: [3]
Un ejemplo simple (en Haskell ) es un programa que calcula la suma de una lista de números. Podemos definir la función de suma recursivamente usando un estilo puntiagudo (cf. programación de nivel de valor ) como:
El siguiente pseudocódigo similar a Haskell expone cómo reducir la definición de una función a su equivalente sin puntos: