Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
S U M Á R I O
1 Elementos Básicos 1
1.1 Paradigmas de programação . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 Paradigmas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 O Ambiente de Programação Scheme . . . . . . . . . . . . . . . . . . . . . . 2
1.2.1 Símbolos e Variáveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 Abstração de processos com funções (procedimentos) . . . . . . . . . . . . . 6
1.3.1 Definindo novos procedimentos . . . . . . . . . . . . . . . . . . . . . 8
1.3.2 Exemplo: juros compostos . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3.3 Primeiro modelo de avaliação para expressões . . . . . . . . . . . . . 11
1.3.4 Exemplo: números aleatóreos . . . . . . . . . . . . . . . . . . . . . . . 12
1.4 Variáveis locais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5 Condições . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.6 Repetições . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.6.1 Recursão linear, iteração linear e recursão na cauda . . . . . . . . . . 23
1.6.2 Exemplo: aproximação da razão áurea . . . . . . . . . . . . . . . . . 27
1.6.3 Processo recursivo em árvore . . . . . . . . . . . . . . . . . . . . . . . 28
1.6.3.1 Exemplo: torres de Hanói . . . . . . . . . . . . . . . . . . . 28
1.6.3.2 Exemplo: multiplicação de inteiros . . . . . . . . . . . . . . 28
1.6.4 named let . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.6.5 letrec . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.6.6 Definições internas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.7 Número variável de argumentos . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.8 Funções de alta ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1.8.1 Composição . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.8.2 Currying . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
1.9 Corretude . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.9.1 Testes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.9.2 Laços e indução . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.10 Strings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
1.10.1 Exemplo: cifra de César . . . . . . . . . . . . . . . . . . . . . . . . . . 42
1.10.2 Exemplo: o esquema de compartilhamento de segredos de Shamir . 45
1.11 Listas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
Versão Preliminar
[ 27 de outubro de 2010 at 15:47 ]
i