Diário de Bordo

MAC0316/MAC5754 - Primeiro Semestre de 2010

	Fevereiro
	Março

	Abril
	Maio

Junho

Esta página estará em permanente construção até o final do semestre...

Fevereiro

23 de fevereiro (aula 1):
- Apresentação da disciplina.
- Motivação para o estudo de programação funcional.
- Introdução à linguagem Scheme (TYS, capítulos 1 e 2, até 2.1.4).
25 de fevereiro (aula 2):
- Continuação do material sobre Scheme (TYS, de 2.1.4 até o final do capítulo 2, mais o capítulo 3 e os parágrafos iniciais do capítulo 4).

Março

2 de março (aula 3):
- Comentários sobre estas diferenças entre o PLT Scheme e a versão do Scheme padrão descrita pelo TYS:
  - Na forma if do PLT Scheme a else expression é obrigatória.
  - No PLT Scheme as listas são imutáveis.
- Continuação do material sobre Scheme (TYS, capítulo 4).
- Funções de ordem superior (higher-order functions). Exemplo: a função map (TYS, seção 6.4). Implementação dessa função em Scheme.
- Tarefa: Ler o TYS até o final do capítulo 7 (página 30 da versão pdf do TYS).
4 de março (aula 4):
- Variáveis locais:
  - Parâmetros de funções (TYS, parte inicial do capítulo 5).
  - Uso da forma define dentro de funções. Exemplo: função hanoi contendo uma função local r-hanoi.
  - Variáveis locais introduzidas pela forma let (TYS, seção 5.1). Exemplo: versão melhorada da função hanoi.
  - Abreviação conveniente para lets aninhados: a forma let* (TYS, seção 5.1).
  - A forma let equivale a uma chamada de função anônima: o let é a aplicação, sobre os valores iniciais das variáveis locais que ele introduz, de uma função anônima (lambda) cujos parâmetros são essas variáveis locais e cujo corpo é o corpo do let.
- Recursão de cauda (tail recursion).
  - Duas implementações da função fatorial: uma (já vista anteriormente) com recursão que não é de cauda, outra com recursão de cauda. A primeira consome um espaço adicional que é proporcional a n. A segunda não consome espaço adicional, pois Scheme implementa a otimização conhecida como tail call optimization (TCO).
  - Duas implementações da função map: uma (já vista anteriormente) com recursão que não é de cauda, outra com recursão de cauda.
9 de março (aula 5):
- Scheme padrão (R5RS e R6RS), PLT Scheme e PLAI Scheme. Formas específicas do PLAI Scheme: define-type, type-case e test.
- Modelamento de linguagens (capítulo 1 do PLAI):
  - Sintaxe concreta, BNF.
  - Sintaxe abstrata, árvore sintática.
  - Analisador sintático (parser)
  - Estudo de caso: a linguagem AE (arithmetic expressions).
11 de março (aula 6):
- Interpretador para a linguagem AE (capítulo 2 do PLAI).
- Substituição (capítulo 3 do PLAI, até a página 18):
  - A linguagem WAE.
  - Definições:
    - instância vinculante (binding instance) de um identificador;
    - escopo (scope) de uma instância vinculante;
    - instância vinculada (bound instance);
    - instância livre (free instance).
16 de março (aula 7):
- Continuação do material sobre substituição (capítulo 3 do PLAI, da página 18 até a 24):
  - Definição precisa de substituição.
  - Função subst para a linguagem WAE.
  - Interpretador para a linguagem WAE.
  - Substituição com avaliação ávida (eager) e substituição com avaliação adiada/postergada/preguiçosa (lazy).
18 de março (aula 8):
- Introdução a funções (capítulo 4 do PLAI):
  - A linguagem F1WAE e a estrutura FunDef.
  - Tópico auxiliar: a forma local do PLT Scheme.
  - Interpretador para a linguagem F1WAE.
  - Escopo da substituição e escopo das definições de funções.
23 de março (aula 9):
- Primeira prova: enunciado (versão revisada), solução.
25 de março (aula 10):
- Substituição postergada, escopo estático e escopo dinâmico (capítulo 5 do PLAI).

Abril

6 de abril (aula 11):
- Funções de primeira classe (capítulo 6 do PLAI, até a seção 6.4):
  - A linguagem FWAE.
  - Interpretador para a linguagem FWAE baseado em substituição explícita.
  - A linguagem FAE, na qual a forma with é "acúcar sintático" para uma chamada a uma função anônima de primeira classe.
  - Interpretador para a linguagem FAE baseado em substituição postergada.
  - O conceito de fechamento (closure).
8 de abril (aula 12):
- Funções de primeira classe (capítulo 6 do PLAI, seções 6.5, 6.6 e 6.7):
  - Exemplos que mostram a importância do escopo estático e de fechamentos.
  - Avaliação preguiçosa na presença de funções.
  - O conceito de ambiente (environment).
- Laziness (capítulo 7 do PLAI, até a seção 7.1.2):
  - Introdução à linguagem Haskell.
13 de abril (aula 13):
- Laziness (capítulo 7 do PLAI, de 7.1.2 ao final do capítulo):
  - Haskell: listas, tipos polimórficos e inferência de tipos.
  - Avaliação preguiçosa em Haskell.
  - Avaliação preguiçosa na linguagem da shell (bash).
15 de abril (aula 14):
- Implementação de uma linguagem com avaliação preguiçosa (capítulo 8 do PLAI, até 8.2):
  - A linguagem CFAE/L (CFAE com laziness).
  - O conceito de fechamento de expressão (expression closure).
  - Interpretador para a linguagem CFAE/L.
  - Outro interpretador para a linguagem CFAE/L, este com caching.
20 de abril (aula 15):
- Implementação de avaliação preguiçosa (capítulo 8 do PLAI, seções 8.3 e 8.4):
  - Revisão/discussão/aprofundamento do material visto na aula anterior.
  - Caching, transparência referencial, memoization.
  - Independência entre escopo (estático ou dinâmico) e regime de avaliação (ávido ou preguiçoso).
22 de abril (aula 16):
- Recursão (capítulos 9 e 10 do PLAI):
  - A forma rec e a linguagem RCFAE.
  - Ambientes para recursão (ambientes cíclicos).
  - Implementação de recursão num interpretador para a linguagem RCFAE.
27 de abril (aula 17):
- Outras formas de representar ambientes e funções de primeira classe (capítulo 11 do PLAI):
  - Representação dos ambientes da linguagem FAE como funções de Scheme.
  - Representação das funções da linguagem FAE como funções de Scheme.
  - Classificação dos interpretadores: interpretadores sintáticos e meta interpretadores. Interpretadores meta circulares.
  - Interpretadores meta circulares. Interpretador meta circular para a linguagem FAE.
  - Tópico para estudo individual: Representação funcional de ambientes recursivos (seção 11.5 do PLAI).
29 de abril (aula 18):
- Estado e estruturas de dados mutáveis (capítulos 12 e 13 do PLAI, até 13.3.1):
  - Boxes e a linguagem BCFAE.
  - Modelo da memória como um repositório dinâmico: o armazém (store).
  - Avaliação de expressões BCFAE. O emprego dos repositórios estático (ambiente) e dinâmico (armazém).

Maio

11 de maio (aula 19):
- Segunda prova: enunciado (versão revisada), solução.
13 de maio (aula 20):
- Estado e estruturas de dados mutáveis (capítulo 13 do PLAI, seção 13.3.2):
  - Interpretador para a linguagem BCFAE.
  - Uso de passagem explícita de estado (store-passing style) por parte desse interpretador.
18 de maio (aula 21):
- Escopo léxico versus extensão dinâmica (seção 13.4 do PLAI).
- Variáveis (capítulo 14 do PLAI, até 14.2):
  - Implementação de variáveis. Interpretador para a linguagem VCFAE.
  - Variáveis e chamadas de funções. Passagem por valor e passagem por referência. Interpretador para a linguagem RVCFAE.
20 de maio (aula 22):
- Passagem de parâmetros por referência: avaliação crítica (seção 14.3 do PLAI).
- Introdução a continuações (capítulos 15, 16 e 17 do PLAI, até 17.1):
  - Alguns problemas com aplicações Web.
  - Estrutura de aplicações Web.
  - Transformação de um programa interativo para adaptá-lo ao Web.
  - Transformação de uma função recursiva.
25 de maio (aula 23):
- Continuações (capítulo 17 do PLAI, de 17.2 a 17.6):
  - Transformação envolvendo mais de uma função.
  - Transformação de funções com estado.
  - Transformação de funções de ordem superior.
27 de maio (aula 24):
- Transformação de um programa para CPS (capítulo 18 do PLAI):
  - O estilo de passagem de continuações (continuation-passing style, ou CPS).
  - Visão informal da transformação de um programa para CPS.
  - Transformação automatizada para CPS.

Junho

8 de junho (aula 25):
- Suporte para continuações em Scheme (capítulo 19 do PLAI, até 19.4):
  - Captura de continuações: as formas call/cc e let/cc.
  - Continuações Scheme são procedimentos escapadores (escapers).
  - Aplicação: fluxos de controle anormais (exceções).
  - Aplicação: programação de aplicações Web.
10 de junho (aula 26):
- Implementação de continuações (capítulo 20 do PLAI, até 20.2):
  - Nova implementação do interpretador para a linguagem CFAE: esta versão usa a representação procedural de funções e é escrita em CPS.
  - A linguagem KCFAE.
  - Interpretador para a linguagem KCFAE.
  - Tarefa de casa: Ler o restante do capítulo 20 (seções 20.3, 20.4 e 20.5).
15 de junho (aula 27):
- Terceira prova.
17 de junho (aula 28):
- ...
22 de junho (aula 29):
- Prova substitutiva.
24 de junho (aula 30):
- ...

Last modified: Thu Jul 8 03:34:09 BRT 2010
Francisco Reverbel
reverbel at ime.usp.br