INE 5363  -  Programação Funcional

Prof. João Bosco da Mota Alves - INE/CTC/UFSC - 2001/1

(Atualizado em 04/julho/2001)

Aqui estão as ferramentas que serão utilizadas no período 2001/1. As notas de aula serão atualizadas periodicamente.

Notas de Aula

• As notas de aula contém já os cinco primeiros ítens (1. Introdução; 2. O paradígma de Programação Funcional; 3. A Linguagem LISP; 4. O dialeto XLISPWIN; 5. Exemplo de Uso de XLISPWIN) da ementa da disciplina, em formato WORD zipado.
• Para você acompanhar melhor as aulas em classe, é importante você tê-las em mãos
• Faça download das notas de aula atualizadas, para poder imprimí-las
• Este é o planejamento de curso do semestre 2001/1.
• Cálculo Lâmbda (em 02/julho/2001)

CLEAN

Faça dowload do compilador CLEAN em formato zip. E também dos exemplos que aparecem no tutorial

E, também, do Clean 2.0, com mais recursos de interface gráfica. (Novo)

Pegue o livro CleanBookI

Veja um excelente Tutorial sobre CLEAN, da Universidade Federal de Uberlandia.(Veja que beleza)

Veja um pequeno aperitivo sobre Clean (Novo)

XLISP for Windows

Faça dowload do interpretador XLISPWIN, e de seu manual de referência

Links interessantes

Aplicações industriais usando LISP

Veja um Convite à Programação Funcional; Três tópicos interrelacionados no coração da lógica e da Ciência da Computação (Cálculo Lâmbda, Combinadores e Sistemas de Tipos); Veja esse site sobre CLEAN, da Universidade Federal de Uberlandia

Veja essa pequena Introdução ao Cálculo Lâmbda, com um interpretador via Web.

Veja esta página sobre quadrados mágicos

Veja o quadrado mágico

Veja a solução para o quadrado mágico 3x3, desenvolvido pelos alunos Daniel e Renato.

Veja a estrela mágica de David

Avaliação

Teste 1 - Resultados: 15/03/2001, via Internet;	Teste 2 - Resultados: 26/03/2001, via Internet;
Teste 3 - Entrega: 16/04/2001, ao monitor;	Teste 4 - Resultados: 17/06/2001, via Internet;
Teste 5 - Resultados: 17/06/2001, via Internet;	Teste 6 - Resultado: 30/06/2001, via Internet;
Teste 7 - Resultado: 04/07/2001, via Internet;	Teste 8 - Entrega: 00/00/2001, durante a aula.

Código dos Países (Veja um programa que informa o nome do país cujo código você fornece)

Apresentação (Você pode fazer download das transparências em PowerPoint, usadas em classe - ppt)

Referencias Interessantes

1. FENTON, N.; HILL, G. "System Construction And Analysis: A Mathematical And Logical Framework". London, McGraw-Hill, 1993.
2. OAKEY, S. Lisp para Micro. Rio de Janeiro, Editora Campus, 1986.
3. FRIEDMAN, D.; FELLEISEN, M. The Little LISPer (Third Edition). NJ, Macmllan Publishing, 1989.
4. GORDAN, G. J. Common LISP Hints. http://www.cse.iitb.ernet.in:8000/proxy/stuff/programming/languages/lisp/tutorial/LISP-tutorial.html, adaptado para XLISPWIN, 19 de junho de 2001.
5. Software CLEAN é distribuido via ftp: ftp://ftp.cs.kun.nl/pub/Clean
6. STEELE, G. L. Common LISP: the Language. Digital Press, 1984.