3

Isto está correto??

[a] = uma lista com 1 só elemento
a = uma lista com quantos elementos quiser

Ps: tenho algumas duvidas porque algumas funcoes sao do tipo [a]->a mas leem tambem , por exemplo [2,3]

0

1 Resposta 1

3

Não está correto, quando uma função qualquer diz func :: [a] -> a está nos informando que ela pega como parâmetro uma lista qualquer (de qualquer tamanho) e retorna um elemento do mesmo tipo da lista. A variável a pode ser de qualquer tipo, se a lista for de números então o resultado será um número.

Vejamos um exemplo:

O escopo da função head em Haskell (:t head):

head :: [a] -> a
head [1,2,3] -- 1
head [a,b,c] -- a  

Essa função retorna o primeiro elemento de uma lista (cabeça da lista). Pode ser uma lista de qualquer tamanho, basta testar para verificar.

Já a função tail, que retorna a cauda da lista, tem um escopo ligeiramente diferente:

tail :: [a] -> [a]
tail [1,2,3] -- [2,3]
tail [a,b,c] -- [b,c]

Visto que a cauda pode ter 0 ou mais elementos.

Se fosse uma função do tipo Equals seria algo assim:

eq :: a -> a -> Bool

Ou seja, recebe dois parâmetros do mesmo tipo e retorna true/false. Para aprender mais sobre Haskell recomendo este livro online.

2
  • Muito obrigado :p , ja entendi Commented 7/10/2017 às 19:46
  • Poderia marcar a resposta como aceita? Embaixo das setas ^ v tem um OK verde. Commented 7/10/2017 às 20:21

Você deve fazer log-in para responder a esta pergunta.

Esta não é a resposta que você está procurando? Pesquise outras perguntas com a tag .