racket
Funciones de orden superior
Buscar..
Mapa
El mapa aplica una función a cada elemento de una lista:
map: (a -> b) (listof a) -> (listof b)
> (map (lambda (x) (* x 2)) (list 1 2 3 4 5)
(list 2 4 6 8 10)
> (map sqrt (list 1 4 9))
(list 1 2 3)
> (map (lambda (x) (if (even? x) "even" "odd")) (list 1 2 3))
(list "odd" "even" "odd")
Doblez
Fold Right aplica sucesivamente una función de dos argumentos a cada elemento de una lista de izquierda a derecha, comenzando con un valor base:
foldr: (a b -> b) b (listof a) -> b
> (foldr + 0 (list 1 2 3 4))
10
> (foldr string-append "" (list "h" "e" "l" "l" "o"))
"hello"
> (foldr cons empty (list 1 2 3 4))
(list 1 2 3 4)
Fold Left realiza la misma acción en la dirección opuesta:
foldl: (a b -> b) b (listof a) -> b
> (foldl + 0 (list 1 2 3 4)
10
> (foldl string-append "" (list "h" "e" "l" "l" "o"))
"olleh"
> (foldl cons empty (list 1 2 3 4))
(list 4 3 2 1)
Filtrar
filter
devuelve una lista de cada elemento en la lista dada para la cual el predicado dado devuelve un valor que no es #f
.
;; Get only even numbers in a list
> (filter even? '(1 2 3 4))
'(2 4)
;; Get all square numbers from 1 to 100
> (filter (lambda (n) (integer? (sqrt n))) (range 1 100))
'(1 4 9 16 25 36 49 64 81)
Componer
Te permite componer varias funciones f₀ f₁ … fₙ
. Devuelve una función que aplicará sucesivamente fₙ
a sus argumentos, luego fₙ₋₁
al resultado de fₙ
y así sucesivamente. Las funciones se aplican de derecha a izquierda, como en la composición de funciones matemáticas: (f ∘ g ∘ h)(x) = f(g(h(x)))
.
> ((compose sqrt +) 16 9)
5
> ((compose - sqrt) 16)
-4
La aridad de cada función debe incluir el número de valores devueltos de la función inmediatamente a su derecha. La función más a la derecha determina la aridad de toda la composición. La función compose1 impone que las funciones devuelvan 1 valor y esperen 1 argumento. Sin embargo, compose1 no restringe la aridad de entrada de la última función, ni la aridad de salida de la primera función.
[n input]--> first-function -->[1 output]--> ... last function -->[m output].
((compose + values) 1 2 3 4)
10
> ((compose1 + values) 1 2 3 4)
XX result arity mismatch;
expected number of values not received
expected: 1
received: 4
values...:
Curry
Devuelve una función parcialmente aplicada.
> ((curry + 10) 20)
30
curryr
se puede utilizar cuando los argumentos deben insertarse al final. En otras palabras, (curryr list 1 2)
producirá una función que espera algunos new-arguments ...
Cuando se le llame, esa nueva función llamará a su vez (list new-arguments ... 1 2)
.
> (((curryr list) 1 2) 3 4)
'(3 4 1 2)
> ((curryr list 1 2) 3 4)
'(3 4 1 2)
> ((curryr - 30) 40)
10
> (((curryr -) 30 40))
10