1

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.

15/01/2007 7

Varargs [2]

Exemplo de VARARGS em Java:

public static double somar(double ... numeros ){

double soma = 0;

for (double n: numeros){

soma += n;}

return soma;

}

15/01/2007 8

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.

15/01/2007 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 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

BNFExpBinaria ::= 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

15/01/2007 11

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]]

Dúvidas