Question

Haskell新手在这里请原谅，如果问题太简单了。它只是我似乎无法处理为什么文件中的某些东西是好的，但在GHCI中没有。例如，我在文件中有以下行：

showLst :: [[Int]] -> IO ()
showLst = putStrLn . unlines . map show

这需要一个 m x n 数组并在屏幕上显示结果。一个非常方便的功能。但是，当我快速检查GHCI并且我想要相同的功能时，我尝试在GHCI中定义相同的功能，如下所示：

>> let showLst = putStrLn . unlines . map show
>> showLst [[1,2,3], [4,5,6], [7,8,9]]

我收到类型错误。所以我尝试了几种变体：

>> (showLst [[1,2,3], [4,5,6], [7,8,9]]) :: IO ()
>> (showLst:: [[Int]] -> IO ()) [[1,2,3], [4,5,6], [7,8,9]] 
>> (showLst [[1,2,3], [4,5,6], [7,8,9]]) :: [[Int]] -> IO () -- which us wrong anyway
>> showLst [[1,2,3], [4,5,6], [7,8,9]] :: [[Int]] -> IO () -- which is also wrong

等等他们都失败了。这似乎是一件非常简单的事情，但不确定为什么我发现这很困难。我必须遗漏一些非常重要的东西。有人可以让我知道我在做什么吗？

Answer 1

问题是由于monomorphism restriction GHCi默认类型为()的列表元素：

Prelude> let showLst = putStrLn . unlines . map show
Prelude> :t showLst 
showLst :: [()] -> IO ()

您可以禁用此限制并获取常规类型：

Prelude> :set -XNoMonomorphismRestriction 
Prelude> let showLst = putStrLn . unlines . map show
Prelude> :t showLst 
showLst :: Show a => [a] -> IO ()

或者您可以手动指定所需的类型：

Prelude> let showLst = putStrLn . unlines . map show :: [[Int]] -> IO ()

haskell源文件中的一行与GHCI中的一行之间的差异

1 个答案: