Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
( define pi 3.1415926536)
( define square
( lambda (x) (* x x )))
Definimos agora que squared-sin é a composição de square com seno:
( define squared-sin
(o square sin ))
(square (sin (/ pi 4)))
0.5000000000025517
(squared-sin (/ pi 4))
0.5000000000025517
1.8.2 Currying
Denotamos por (X → Y) o conjunto de todas as funções de X em Y (ou seja, o tipo “função
de X em Y”).
Qualquer função f : A×B → C de dois argumentos pode ser transformada em outra
função f c : A → (B → C) que recebe um único argumento e retorna uma função de um
argumento.
Da mesma forma, dada uma função f : (A 1 × A 2 × · · · × A n ) → B, podemos encontrar
uma função g : A 1 → (A 2 → (A 3 → (· · · → B) · · · ))
O procedimento curry recebe uma função e retorna a versão “curried”.
( define ( curry fun . args )
( lambda x
( apply fun ( append args x ))))
Podemos dfinir um procedimento que nos retorna a potência de dois usando a técnica
de currying sobre expt:
Versão Preliminar
(define power2 (curry expt 2))
(power2 10)
1024
36
[ 27 de outubro de 2010 at 15:47 ]