有没有办法在Haskell的函数内打印变量？

html5 • • 问答

我是 Haskell 的初学者，有命令式语言的背景，我想知道是否可以在 Haskell 函数中打印而不是在 main 中打印。

merge :: Ord a => [a] -> [a] -> [a]
merge [] ys = ys
merge xs [] = xs
merge (x:xs) (y:ys)
    | x < y = x:(merge xs (y:ys))
    | otherwise = y:(merge (x:xs) ys)

我想在每次合并操作后查看列表的内容，但是当我尝试print在此函数中插入语句时发生错误。此代码是执行合并排序操作的程序的一部分，因此我无法在 main 函数中放置打印语句。我会使用 ghci，并从单独的文件编译合并函数以手动查看合并函数的工作方式，但我很好奇是否可以在合并函数本身中查看列表的内容。

给定此合并功能，我将如何显示列表的内容？我是否需要以另一种方式重新编码整个合并函数以查看列表的内容？如果是这样，它会是什么样子？

回答

一般来说：不，你不能从 Haskell 中的任何函数打印。这是因为普通的 Haskell 函数不会有任何副作用，其中打印就是一个例子。（其他副作用：改变变量、播放声音、发送 HTTP 请求。）Haskell 中的任何副作用都必须包装在IO类型中，因此如果要print在此函数中使用，则必须将整个函数包装在IO：

merge1 :: (Ord a, Show a) => [a] -> [a] -> IO [a]
merge1 [] ys = return ys
merge1 xs [] = return xs
merge1 (x:xs) (y:ys)
    | x < y =
        let merged = x:(merge1 x (y:ys)) in do
            print merged
            return merged
    | otherwise =
        let merged = y:(merge1 (x:xs) ys) in do
            print merged
            return merged

如您所见，这是非常冗长的。这也意味着merge1必须包含在 中IO，因此使用它的任何其他函数也必须在IO. （这实际上通常被视为一种优势，因为它允许您从函数的类型推断其行为：这意味着任何不在其中的函数IO都不会产生副作用，反之亦然。）

但是，在您的特定情况下，有一条逃生路线。该Debug.Trace模块包含用于打印到控制台一大堆功能而不 IO，要使用仅用于调试目的。基本功能是trace s x，它将字符串打印s到控制台并返回x。在您的情况下，我建议使用traceShowId x，它将打印x，然后返回它：

merge2 :: (Ord a, Show a) => [a] -> [a] -> [a]
merge2 [] ys = ys
merge2 xs [] = xs
merge2 (x:xs) (y:ys)
    | x < y = traceShowId $ x:(merge2 x (y:ys))
    | otherwise = traceShowId $ y:(merge2 (x:xs) ys)

以上是有没有办法在Haskell的函数内打印变量？的全部内容。
THE END
分享
二维码
< <上一篇
下一篇>>