130 likes | 205 Views
PLP – Varargs Adauto Trigueiro de A. Filho Emanoel Barreiros Helaine Lins. O Problema [1]. Na linguagem funcional 3 o número de parâmetros passados a uma função é fixado no momento em que a mesma é criada e a sua chamada só pode ser feita com aquele número pré-determinado de parâmetros.
E N D
PLP – VarargsAdauto Trigueiro de A. Filho Emanoel BarreirosHelaine Lins
O Problema [1] • Na linguagem funcional 3 o número de parâmetros passados a uma função é fixado no momento em que a mesma é criada e a sua chamada só pode ser feita com aquele número pré-determinado de parâmetros.
O Problema [2] • Exemplo: • let fun soma a b = a + b in soma(1,2)
O Problema [3] • A função anterior só recebe dois parâmetros. Se eu quiser uma que receba três, quatro, cinco, ...?
A solução • Implementar o conceito de VARARGS na LF3 • Com VARARGS, uma função/método pode ser criada com um parâmetro que recebe vários argumentos.
VARARGS [1] • Características: • Uma vez chamada a função/método, a lista de parâmetros passada é imutável. • O tamanho da lista não é definido. • O VARARGS deve ser o último parâmetro da função/método.
Varargs [2] Exemplo de VARARGS em Java: public static double somar(double ... numeros ){ double soma = 0; for (double n: numeros){ soma += n; } return soma; }
VARARGS em LF3 Usa a implementação de listas da LF3. Pode conter diferentes tipos. É identificado por “...” antes do parâmetro. Dentro do corpo da função, todas as operações com listas são permitidas.
BNF Programa ::= Expressao Expressao ::= Valor | ExpUnaria | ExpBinaria | ExpDeclaracao | Id | Aplicacao | IfThenElse Valor ::= ValorConcreto | ValorAbstrato ValorAbstrato ::= ValorFuncao ValorConcreto ::= ValorInteiro | ValorBooleano | ValorString | ValorLista ValorFuncao ::= "fn" Id Id "." Expressao ExpUnaria ::= "-" Expressao | "not" Expressao | "length" Expressao | head(Expressao) | tail(Expressao) | size(Expressao) | ExpCompreensaoLista ExpCompreensaoLista ::= Expressao Gerador | Expressao Gerador Filtro Gerador ::= “for” Id “in” Expressao | “for” Id “in” Expressao [“,”] Gerador Filtro ::= “if” Expressao
BNF ExpBinaria ::= Expressao "+" Expressao | Expressao "-" Expressao | Expressao "*" Expressao | Expressao ">" Expressao | Expressao "<" Expressao | Expressao "and" Expressao | Expressao "or" Expressao | Expressao "==" Expressao | Expressao "++" Expressao | Expressao ".." Expressao | Expressao ":" Expressao | Expressao "^^" Expressao ExpDeclaracao ::= "let" DeclaracaoFuncional "in" Expressao DeclaracaoFuncional ::= DecVariavel | DecFuncao | DeclaracaoFuncional "," DeclaracaoFuncional DecVariavel ::= "var" Id "=" Expressao DecFuncao ::= "fun" ParamList "=" Expressao ListId ::= Id | Id"," ListId ParamList ::= ListId | ListId"," "..."VarargsId | "..."VarargsId Aplicacao:= Expressao"(" ListExp ")” ListExp ::= Expressao | Expressao, ListExp
Exemplos let fun somaUm a = a + 1 in let fun somaCinco b = b + 5 in let fun comp valor ...funcoes = (head(tail(funcoes)))((head(funcoes))(valor)) in comp(2,somaUm, somaCinco) Resultado: 8
Exemplos let fun heads ...listas = [head( x) for x in listas] in heads([3,4,5],[1,7,8],[9,2,6]) Resultado: [3,1,9] let fun heads ...listas = [head( x) for x in listas] ^^ [tail( y) for y in listas] in heads([3,4,5],[1,7,8],[9,2,6]) Resultado: [3, 1, 9, [4, 5], [7, 8], [2, 6]]