统一与替代

Question

在 Haskell 中，我使用单个构造函数 S :: [(String, a)] -> Subst a 定义了一个多态数据类型 Subst a，如下所示：

data Subst a where
    S :: [(String, a)] -> Subst a
    deriving (Show)

我想定义一个函数get::String -> Subst a -> Maybe a，它接受一个变量名和一个替换，并返回该变量必须被替换的值。如果没有在变量上定义替换，函数应该返回 Nothing。

我尝试了以下方法：

get :: String -> Subst a -> Maybe a
get str (S[]) = Nothing
get str (S((a,b):xs)) = if str == a then Just b
    else get str xs

但我遇到了错误。任何想法为什么？

Answer 1

get str (S((a,b):xs)) = if str == a then Just b
    else get str xs

xs 是[(String, a)] 类型的列表，但get 的第二个参数必须是Subst a。如果您使用构造函数来构造正确类型的值，它会起作用，

get str (S((a,b):xs)) = if str == a then Just b
    else get str (S xs)

但是直接使用列表查找变量更简单，

Prelude> :t lookup
lookup :: Eq a => a -> [(a, b)] -> Maybe b

所以

get str (S xs) = lookup str xs

完全按照你的意愿去做。