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") en 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 se adaptan bien al razonamiento ecuacional . [1] También es el estilo natural de ciertos lenguajes de programación , incluyendo APL y sus derivados, [2] ylenguas concatenativas como Forth . La falta de nombres de argumentos le da al estilo sin puntos la reputación de ser innecesariamente oscuro, de ahí el epíteto de "estilo sin sentido". [1]
La idea clave en la programación tácita es ayudar a operar en el 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 una definición de función a su equivalente sin puntos: