Início / coding / Perguntas / 78664339
Accepted
kesarling
Asked: 2024-06-25 03:39:58 +0800 CST

Como o operador de seta em haskell faz sentido em funções que utilizam mais de um parâmetro?

  • 772

Para sua informação: segundo dia em Haskell

MRE (o que a função faz, não importa):

foo :: Int -> Int -> Int
foo x y
        | x == y = x + y
        | x < y = x
        | x > y = y

Isto é o que reuni sobre o ->operador (?) até agora:

  1. É associativo à direita
  2. É usado na declaração do tipo de função para denotar o tipo de parâmetros de função, bem como seu tipo de retorno

Agora dê uma olhada na seguinte declaração de tipo de função:
foo :: Int -> Int
Isto declara (qual é a palavra apropriada?) uma função chamada fooque recebe an Inte retorna an Int.

Porém, a declaração: foo :: Int -> Int -> Intdeclares(?) que fooleva 2 Ints e retorna an Intquando é o mesmo que dizer foo :: Int -> (Int -> Int)which é uma função que recebe an Inte retorna uma função que recebe an Inte retorna an Int.

Como isso faz sentido? Não deveria ser algo parecido com Int,Int -> Int?

PS: O livro que estou usando: Pensando Funcionalmente com Haskell, de Richard Bird.

haskell

1 respostas

  1. Best Answer

    Nenhuma função leva dois parâmetros. Todas as funções recebem um parâmetro. Na verdade, podemos escrever:

    bar :: Int -> Int
bar = foo 2

    Então o que você fez foo 2? Ele construiu uma nova função, uma função que receberá an Inte retornará an Int. É essencialmente uma versão "especializada" do foowith x = 2.

    Então foo :: Int -> Int -> Int, é como sua intuição disse Int -> (Int -> Int): ele pega um parâmetro, an Int, e constrói uma função que receberá o "segundo" parâmetro.

    Você também pode criar uma versão "sem curry" de foo:

    foo' :: (Int, Int) -> Int
foo' (x, y)
  | x == y = x + y
  | x < y = x
  | x > y = y

    Agora é necessário novamente um parâmetro: uma tupla de 2 com dois Ints, mas, portanto, um parâmetro.

    A conversão entre os dois estilos acontece regularmente se você quiser "agrupar" parâmetros ou desagrupá-los. Portanto existem [Hackage] e [Hackage] , então , e .uncurry :: (a -> b -> c) -> (a, b) -> c curry :: ((a, b) -> c) -> a -> b -> c foo' = uncurry foofoo = curry foo'

    • 4

relate perguntas