map.insert提示没有理由的Haskell中的错误

Question

这是我使用的函数：

threeWordFunction :: [String] -> Map.Map String [String] -> String
threeWordFunction [x, y, z] orbitingData = do
     Map.insert z [x, y] orbitingData
     ""

导致以下错误：

src\MyLib.hs:40:6: error:
    * Couldn't match type `Map.Map String' with `[]'
      Expected type: [[String]]
        Actual type: Map.Map String [String]
    * In a stmt of a 'do' block: Map.insert z [x, y] orbitingData
      In the expression:
        do Map.insert z [x, y] orbitingData
           ""
      In an equation for `threeWordFunction':
          threeWordFunction [x, y, z] orbitingData
            = do Map.insert z [x, ....] orbitingData
                 ""
   |
40 |      Map.insert z [x, y] orbitingData
   |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

我尝试了大量修复程序，但没有发现可能导致此错误的任何修复程序。该功能只是试图将字符串添加到地图上，没有什么花哨的。任何帮助将不胜感激。

Answer 1

问题

正如一些贡献者所说，do是问题所在。
但是，让我尝试分解您想要的东西（如我所见）以及您的工作。

threeWordFunction :: [String] -> Map.Map String [String] -> String

声明您的功能类型。这是您打算做的。使用String和MAP的列表，您需要提供String。如果我阅读了这篇文章，在Haskell中，我将推断您可能要使用MAP提取有用的东西来构建String。实际上，函数的唯一输出是String。由于地图不是输出，任何修改都会被“丢失”。

当我阅读您想做的事情时，您声称要在MAP中插入一个值。因此，我想您要输出结果地图。在这里，我可以推断出您的第一个错误：您会以副作用思考。我想您想在功能中修改map，并且您希望该地图将在功能之外进行修改。但这不是哈斯克尔的工作方式。这就是大多数具有势在必行功能的语言的工作方式。

因此，要 do 您想使用do Word。此背后的心态是提供一系列教学，例如在带有卷曲括号的C块中。这是错误的。在Haskell中，do单词是语法糖，并指出了您在单月中的事实……因此您的计算结果可能是单月。但这不是功能类型所说的。因此，编译器会产生错误。

考虑到类型，您可以做些什么才能与您的类型一致

，解决方案将是Chi提供的解决方案。

threeWordFunction [x, y, z] orbitingData = let newMap = Map.insert z [x, y] orbitingData in ""

编译器将不再抱怨。您可以构建一个新的地图newMap，该可以按照所需的方式进行修改。并且您提供字符串 “”作为输出。但是，newMap在您的功能之外永远无法达到。因此插入毫无用处。

您该怎么做才能实现您的需求

更改类型... Haskell中的类型提供了一个规范，可以清楚地定义预期的有效解决方案（或多或少）。

因此，您可以需要明确提供地图的东西。

threeWordFunction :: [String] -> Map.Map String [String] -> Map.Map String [String]

或地图和字符串，

threeWordFunction :: [String] -> Map.Map String [String] -> (Map.Map String [String], String)

您也可以使用诸如状态之类的单元，但对于您的水平来说可能太多了。

考虑到新类型，您现在可以返回所需的实体。

threeWordFunction :: [String] -> Map.Map String [String] -> (Map.Map String [String], String)
threeWordFunction [x, y, z] orbitingData = 
    let newMap = Map.insert z [x, y] orbitingData 
    in (newMap, "") 

NB如果您始终想提供“”作为字符串，则可能表明您不需要它。

希望这将帮助您理解问题。