Início / coding / Perguntas / 77082438
Accepted
Alejandro Caro
Asked: 2023-09-11 22:19:11 +0800 CST

Atribuição em Haskell dentro do bloco

  • 772

Estou tentando fazer uma função que calcule o fatorial de um número. Está marcando um erro na tarefa e não sei como corrigir.

for list action = mapM_ action list

main :: IO Int
main = do
    x <- getLine
    for [1..read x] (\ i -> do        
        let tmp = 0                    
        tmp <- tmp*i                   
                                       
        )
    return (tmp)
function

2 respostas

  1. Haskell é uma linguagem funcional. Um dos aspectos de tais linguagens é que as variáveis ​​são imutáveis : uma vez atribuído um valor, você nunca poderá alterar esse valor.

    Como resultado, Haskell não possui forloops embutidos, etc. Seu "burro de carga" é a recursão : recorremos até que um determinado valor seja determinado. Para o caso fatorial, será assim:

    factorial :: Int -> Int
factorial 0 = 1
factorial n = …

    e então o principal pode ser parecido com:

    main :: IO ()
main = do
    n <- readLn
    print (factorial n)

    ou mais curto:

    main :: IO ()
main = readLn >>= print . factorial
    • 3
  2. Best Answer

    Primeiro, uma observação sobre loops. Eu vou assumir for_. Haskell não possui nenhuma palavra-chave de loop, mas seu paradigma mônada é suficientemente flexível para que possam ser implementados apenas como funções de biblioteca.

    No entanto, Haskell não possui variáveis ​​mutáveis. Então, algo assim tmp <- tmp*inunca pode fazer sentido.
    (NB, você pode realmente escrever let tmp = tmp*i, mas não faça isso. Não realiza nada de útil; em vez de atualizar a variável, ele define uma variável, mas com uma definição circular sem sentido referindo-se ao seu próprio resultado, ou seja, este é apenas um não-terminal computação.)

    Ok, isso sobre não ter variáveis ​​mutáveis ​​não é bem verdade. Eles também estão disponíveis na biblioteca padrão, são chamados IORefs . Eles não podem ser atualizados com <-ou =sintaxe, mas com as IOações definidas no Data.IORefmódulo. O seguinte funciona:

    import Data.Foldable (for_)
import Data.IORef

main :: IO ()
main = do
    x <- getLine
    tmp <- newIORef 1
    for_ [1 .. read x] (\ i -> do        
        modifyIORef tmp (*i)
        )
    readIORef tmp

    Observe que não há return. Em Haskell, returnnão é uma palavra-chave ( notou um tema? ) mas simplesmente uma função que injeta um valor puro (neste caso an Int) em uma ação monádica (neste caso IO Int). Mas ler o IORefjá é uma ação impura, portanto você deve simplesmente usá-lo como a última linha.

    Retornar um valor de mainnão é o que você provavelmente deseja (o valor de retorno é ignorado); Acho que você pretendia imprimi-lo:

    import Data.Foldable (for_)
import Data.IORef

main :: IO ()
main = do
    x <- getLine
    tmp <- newIORef 1
    for_ [1 .. read x] (\ i -> do        
        modifyIORef tmp (*i)
        )
    result <- readIORef tmp
    print result

    Tudo bem, essa é a solução literal para o seu problema.

    No entanto , é altamente recomendável não usar IORefpara algo assim. Geralmente toda a filosofia de Haskell é evitar efeitos colaterais como mutação. Em vez disso, você deve definir sua função por recursão e usá-la apenas IOno final para imprimir o resultado completo. Há uma infinidade de exemplos disso, um exemplo bem-humorado é The Evolution of a Haskell Programmer .

    • 2

relate perguntas