Programación tácita

La programación tácita se puede ilustrar con el siguiente código Python . Una secuencia de operaciones como la siguiente:

def ejemplo ( x ): return baz ( bar ( foo ( x )))

... puede escribirse en estilo sin puntos como la composición de una secuencia de funciones, sin parámetros: ^{[ 3 ]}

from functools import partial , reducedef compose ( * functions ): return partial ( reduce , lambda x , f : f ( x ), functions )ejemplo = componer ( foo , bar , baz )

Para un ejemplo más complejo, el código Haskellp = ((.) f) . g se puede traducir como:

p = parcial(componer, parcial(componer, f), g)

Un ejemplo sencillo (en Haskell ) es un programa que calcula la suma de una lista de números. Podemos definir la función de suma recursivamente utilizando un estilo apuntado (véase programación a nivel de valor ) de la siguiente manera:

suma [] = 0 suma ( x : xs ) = x + suma xs

Sin embargo, utilizando un pliegue , esto se puede reemplazar con:

suma xs = foldr ( + ) 0 xs

Y entonces el argumento no es necesario, por lo que esto se simplifica a

suma = foldr ( + ) 0

lo cual no tiene puntos.

Otro ejemplo utiliza la composición de funciones :

p x y z = f ( g x y ) z

El siguiente pseudocódigo , similar al de Haskell , muestra cómo reducir la definición de una función a su equivalente sin puntos:

p = \ x -> \ y -> \ z -> f ( g x y ) z= \ x -> \ y -> f ( g x y )= \ x -> \ y -> ( f . ( g x )) y= \ x -> f . ( g x )( * Aquí el operador de composición infijo "." se utiliza como una función currificada . * )= \ x -> (( . ) f ) ( g x )= \ x -> ((( . ) f ) . g ) xp = (( . ) f ) . g

Finalmente, para ver un ejemplo complejo, imaginemos un programa de filtrado de mapas que toma una lista, le aplica una función y luego filtra los elementos según un criterio.

lista de operadores de criterios mf = criterios de filtro ( lista de operadores de mapeo )

Se puede expresar sin puntos ^{[ 4 ]} como

mf = ( . map ) . ( . ) . filter

Como ya se ha sugerido, los puntos en point-free se refieren a los argumentos, no al uso de puntos suspensivos; una idea errónea común. ^{[ 5 ]}

Se han escrito algunos programas para convertir automáticamente una expresión de Haskell a una forma sin puntos.

En el lenguaje J , el mismo tipo de código sin puntos aparece en una función diseñada para calcular el promedio de una lista (matriz) de números:

promedio =: +/ % #

+/suma los elementos del array mapeando ( /) sumatoria ( +) al array. %divide la suma por el número de elementos ( #) en el array.

Fórmula de Euler${\displaystyle e^{ix}=\cos x+i\sin x,}$expresado tácitamente:

porque =: 2 o . ] pecado =: 1 o . ] Euler =: ^@ j . = porque j . pecado

( j.es una función primitiva cuya definición monádica es 0j1veces x y cuya definición diádica es x+0j1×y.) Los mismos cálculos tácitos expresados ​​en Dyalog APL :

promedio ← + ⌿ ÷ ≢cos ← 2 ○ ⊢ sin ← 1 ○ ⊢ EulerCalc ← cos + 0j1 × sin ⍝ 0j1 es lo que normalmente se escribe como i EulerDirect ← * 0J1 ×⊢ ⍝ Igual que ¯12○⊢ ⍝ ¿Los 2 métodos producen el mismo resultado? EulerCheck ← EulerDirect = EulerCalc EulerCheck ¯1 1 2 3 1 1 1 1 ⍝ ¡Sí, hasta ahora todo bien!

En los lenguajes de programación orientados a pilas (y en los concatenativos , la mayoría de los cuales se basan en pilas ), se utilizan comúnmente métodos sin puntero. Por ejemplo, un procedimiento para calcular los números de Fibonacci podría tener el siguiente aspecto en PostScript :

/fib { dup 1 eq exch dup 0 eq or not { dup 1 sub fib exch 2 sub fib add } if } def