主页 / coding / 问题 / 77082438
Accepted
Alejandro Caro
Asked: 2023-09-11 22:19:11 +0800 CST

Haskell 中 for 块内的赋值

  • 772

我正在尝试创建一个计算数字阶乘的函数。它在作业中标记了一个错误，我不知道如何纠正它。

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 个回答

  1. Haskell 是一种函数式语言。其一，如果此类语言的方面是变量是不可变的：一旦分配了值，您就永远无法更改该值。

    因此，Haskell 没有内置for循环等。它的“主力”是递归：我们递归直到确定某个值。对于阶乘情况，这将如下所示：

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

    然后主要内容可以是这样的：

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

    或更短：

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

    首先，关于循环的注释。我假设for_。Haskell 没有任何循环关键字，但它的 monad 范式足够灵活，因此它们可以作为库函数实现。

    然而，Haskell 没有可变变量。所以类似的事情tmp <- tmp*i永远没有意义。
    （注意，你实际上可以let tmp = tmp*i写，但不要这样做。它没有完成任何有用的事情；它不是更新变量而是定义了一个变量，而是用一个无意义的循环定义引用它自己的结果，即这只是一个非终止的计算。）

    好吧，关于没有可变变量的说法并不完全正确。这些也可以从标准库中获得，它们称为IORefs。它们不能使用<-或=语法进行更新，但可以使用模块IO中定义的操作进行更新Data.IORef。以下确实有效：

    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

    请注意，没有return. 在 Haskell 中，return它不是一个关键字（注意到主题了吗？），而只是一个将纯值（在本例中是一个Int）注入到单子操作（在本例中IO Int）的函数。但阅读IORef本身已经是一个不纯粹的行为，因此你应该简单地将它用作最后一行。

    但返回值main可能不是您想要的（返回值被忽略）；我认为你打算打印它：

    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

    好的，这就是您问题的字面解决方案。

    但是，强烈建议不要用于IORef此类用途。一般来说，Haskell 的整个哲学是避免突变等副作用。相反，您应该通过递归来定义函数，并且仅IO在最后使用来打印完整结果。这方面的例子有无数，其中一个幽默的例子是《Haskell 程序员的进化》。

    • 2

相关问题