Implementar Listas em Linguagem Funcional II

Apresentação em tema: "Implementar Listas em Linguagem Funcional II"— Transcrição da apresentação:

1 Implementar Listas em Linguagem Funcional II
Projeto I - PLP Prof. Augusto Sampaio Equipe : Aliny Figueirêdo Meira Ana Cristina Freitas César Danuza Ferreira Santana Neiva Mario Godoy Neto

2 Agenda Contexto Projeto Proposto Comparação com outras linguagens BNF
Classes Implementadas Exemplos

3 Contexto Linguagem Funcional LF2
Mapeamento direto dos valores de entrada em valores de saída Ausência de Estados Linguagem Funcional 1 (LF1) e Linguagem Funcional 2 (LF2) LF2 Estende LF1 Função passa a ser um valor Função pode ser argumento ou resultado de uma outra expressão Um programa é uma expressão Não implementa Lista

4 Projeto Proposto Estender a linguagem funcional II Implementar Listas
Uma lista é uma seqüência de expressões; Listas Funções Expressões unárias Expressões binárias Outros Listas poderão conter valores abstratos e concretos; Listas são homogêneas

5 Projeto Proposto Representação de Listas:
[] -> Lista vazia [e1,e2,...,en] - lista de n expressões Implementação dos Operadores: cons (e, L), adicionar o elemento “e” no início da lista “L”. concat (L1, L2), concatena lista “L1” com a lista “L2”. Head(L), retorna o primeiro elemento da lista “L”. Tail(L), retorna a lista “L” sem o primeiro elemento.

6 Comparação com outras Linguagens
LF2 cons concat head tail Haskell : union Tails* *Difere o conceito LISP cons cat car cdr

7 Exemplo Lisp cat([1,2], [3,4])= cons(1, cat([2], [3,4]))=
cons(1, cons(2, cat([], [3,4])))= cons(1, cons(2, [3,4]))= cons(1, [2,3,4])= [1,2,3,4]

8 Exemplo Haskell Concatenação “:” tails [1,3,5] =
union [1,2,3] [4,5,6] = [1,2,3,4,5,6] “:” 1:(2:(3:(4:[]))) = [1,2,3,4] Tails tails [1,3,5] = [[1,3,5],[3,5],[5],[]]

9 BNF Programa ::= Expressao Expressao ::= Valor
| ExpUnaria | ExpBinaria | ExpDeclaracao | Id | Aplicacao | IfThenElse Valor ::= ValorConcreto | ValorAbstrato ValorAbstrato ::= ValorFuncao ValorConcreto ::= ValorInteiro | ValorBooleano | ValorString | ValorLista ValorFuncao ::= "fn" Id LisId "." Expressão ValorLista ::= “[]” | “[” Expressão (“,” Expressão)* “]” ExpUnaria ::= "-" Expressao | "not" Expressao | "length" Expressao | “tail” Expressao | “head” Expressao ExpBinaria ::= Expressao "+" Expessao | Expressao "-" Expressao | Expressao "and" Expressao | Expressao "or" Expressao | Expressao "==" Expressao | Expressao "++" Expressao | Expressao “concat” Expressao | Expressao “cons” Expressao ExpDeclaracao ::= "let" DeclaracaoFuncional "in" Expressao DeclaracaoFuncional ::= DecVariavel | DecFuncao | DeclaracaoFuncional "," DeclaracaoFuncional DecVariavel ::= "var" Id "=" Expressao DecFuncao ::= "fun" ListId "=" Expressao ListId ::= Id  |  Id “,” ListId Aplicacao:= Expressao"(" ListExp ")" ListExp ::= Expressao  |  Expressão “,” ListExp BNF

10 Classes Implementadas
Novas classes: ValorLista ExpConcatLista ExpCons ExpTail ExpHead TipoLista ListaVaziaException

11 Classes Implementadas
Classes alteradas: valorFuncao (funcional 2) Funcional2.jj (funcional 2) Tipo (expressao 1) ValorConcreto (expressao 2) Aplicacao (funcional 2)

12 Exemplos ... Exemplo 1 Exemplo 2 let fun f xy = x + y, fun g ab = a*b
in [f(1,2)] concat [f(5,2), f(1,1), g(2,2)] Exemplo 2 let fun f l = (if l == [] then [] else head l concat f(tail l)) in f ([[1,2],[3,4],[5,6]])

13 Exemplos ... Exemplo 3 Exemplo 4 let var z = 7, var x = [1,2,3,4],
fun f w = 1 cons w in f(x) Exemplo 4 let fun soma x = fn y . x + y in head [soma(5), soma(6), soma(7)]

14 Referências WATT, David A. Programming Language Concepts and Paradigms, 2004 Haskell reference. Disponível em: Último Acesso: 20 de junho de 2007. Rangel, J. L. Linguagens de Programação. Disponível em: Último Acesso: 21 de junho de 2007.

15 Implementar Listas em Linguagem Funcional II
Projeto I - PLP Prof. Augusto Sampaio Equipe : Aliny Figueirêdo Meira Ana Cristina Freitas César Danuza Ferreira Santana Neiva Mario Godoy Neto