具有两个输入的 Haskell 读取函数重载

Question

在我的 haskell 程序中，我有一个以 [(key, value)] 格式表示数据库的列表。例如，这是一个有效的数据库:[("key1", "value1"), ("key2", "value2"), ("key3", "value3")]。 key 和 value 数据将始终为 String 类型。

我的问题是:是否可以通过重载读取函数并以这种方式使用它来编写读取操作:read dbList "key1"？如果是，我该如何解决这个问题？输出需要是 ("not found","value data for key not exists") 或 ("found", "value1")。

我查过如何解决这个问题，但我发现的只是如何对一个输入参数使用读取函数，以及如何定义一个新类型以便为该特定类型创建一个读取实例，如果它是需要的。但是我仍然很好奇我是否可以用两个输入参数以某种方式重载读取函数。

Answer 1

你想要的函数是lookup，它是Prelude的一部分。

> :t lookup
lookup :: Eq a => a -> [(a, b)] -> Maybe b
> let dbList = [("key1", "value1")]
> lookup "key1" dbList
Just "value1"
> lookup "key2" dbList
Nothing

如果您确实需要您显示的元组形式的输出，您可以对结果进行模式匹配。

case lookup dbList someKey of
    Just x -> ("found", x)
    Nothing -> ("not found", "data for " ++ key ++ " does not exist")