1

我正在尝试编写一个非常简单的编辑器，例如“ed”。在这个程序中，我尝试使用映射来构建控件，该控件将字符串命令转换为要执行的操作。这是一段代码：

commands :: Map String ([Handle] -> IO ())
commands = fromAscList [
   ("o",\list -> print "Insert name of the file to be opened" >> getLine >>= \nomefile -> 
       openFile nomefile ReadWriteMode >>= \handle -> editor (handle:list)),
   ("i",\list -> case list of { [] -> print "No buffer open" ; handle:res -> write handle } >> editor list),
   ("q",\list -> if list == [] then return () else mapM_ hClose list >> return ())
]

editor :: [Handle] -> IO()
editor list = do
  command <- getLine
  let action = lookup command commands
  case action of
     Nothing  -> print  "Unknown command" >> editor list 
     Just act -> act list

问题是当我在 ghci 或可执行文件中执行编辑器函数时，当我键入“o”时，我收到消息“未知命令”，而不是调用函数来打开文件。我使用关联列表而不是 Map 尝试了相同的代码，在这种情况下它可以工作。那么这里可能是什么问题呢？

更奇怪的是，如果我在 ghci 中调用映射命令上的键，它也会返回一个包含字符串“o”的列表。

我提前感谢任何帮助。

4

1 回答 1

6 
commands :: Map String ([Handle] -> IO ())
commands = fromAscList [
   ("o",_),
   ("i",_),
   ("q",_)
]

但

ghci> Data.List.sort ["o","i","q"]
["i","o","q"]

你在撒谎Data.Map，所以它构造了一个Map不满足所需不变量的 a。因此，在 中查找内容Map不起作用，因为请求被发送到错误的分支（有时）。

于 2012-12-31T21:26:28.117 回答