racket
Funzioni di ordine superiore
Ricerca…
Carta geografica
Mappa applica una funzione a ogni elemento di 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")
piega
Piega a destra applica successivamente una funzione a due argomenti a ogni elemento di un elenco da sinistra a destra iniziando con un valore di 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)
Piega a sinistra esegue la stessa azione nella direzione opposta:
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)
Filtro
filter
restituisce un elenco di ciascun elemento nell'elenco fornito per il quale il predicato specificato restituisce un valore #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)
Comporre
Ti consente di comporre diverse funzioni f₀ f₁ … fₙ
. Restituisce una funzione che applicherà successivamente fₙ
ai suoi argomenti, quindi fₙ₋₁
al risultato di fₙ
e così via. Le funzioni sono applicate da destra a sinistra, come per la composizione delle funzioni matematiche: (f ∘ g ∘ h)(x) = f(g(h(x)))
.
> ((compose sqrt +) 16 9)
5
> ((compose - sqrt) 16)
-4
L'arità di ciascuna funzione dovrebbe includere il numero di valori restituiti della funzione immediatamente alla sua destra. La funzione più a destra determina l'arità dell'intera composizione. La funzione compose1 impone che le funzioni restituiscano 1 valore e aspettino 1 argomento. Tuttavia, compose1 non limita l'arit di input dell'ultima funzione, né l'arity di output della prima funzione.
[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
Restituisce una funzione parzialmente applicata.
> ((curry + 10) 20)
30
curryr
può essere usato quando gli argomenti devono essere inseriti alla fine. In altre parole, (curryr list 1 2)
produrrà una funzione che prevede alcuni new-arguments ...
Quando chiamato, quella nuova funzione a sua volta chiamerà (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