0

我想把 2 个函数 ( colorand check) 放到最一般的形式 Eq a => ...中。但我不知道该怎么做。

这是一个非常简单的图：每个节点有 2 个邻居，任何相邻的节点必须有不同的颜色

color ::  [(Int, Int)] -> [(Int, Int)] -> Bool
color x [] = True
color a ((x,y):rest) =
    if check a x == check a y
    then False
    else color a rest

check :: [(Int, Int)] -> Int -> Int
check [] x = 999
check ((x,y):rest) p =
    if x == p
    then y
    else check rest p

最后，colors给你True或False

Main> colors [('a',"purple"),('b',"green"),('c',"blue")] [('a','b'),('b','c'),('c','a')]
True

Main> colors [('a',"purple"),('b',"green"),('c',"purple")] [('a','b'),('b','c'),('c','a')]
False

Main> colors [('1',"purple"),('2',"green"),('3',"blue")] [('1','2'),('2','3'),('3','1')]
True

Main> colors [('1',"4"),('2',"5"),('3',"6")] [('1','2'),('2','3'),('3','1')]
True

Main> colors [('1',"4"),('2',"4"),('3',"5")] [('1','2'),('2','3'),('3','1')]
False

欢迎任何帮助（+ 如果您可以将 x = 999 修复为 False）。

4

1 回答 1

8

对于初学者，您不能将 概括Int为 anEq a的原因是 999 硬编码在check. 如果你只是在其中留下一些随机值，你必须知道它的类型，所以你不能将函数推广到除此之外（好吧，在这种特殊情况下，你可以推广到Eq a, Num a，但不能更多）。

因此，答案是不要使用任意值，而是将返回值包装check成具有“失败”情况的类型，即Maybe.

重命名变量以遵循 Haskell 约定，并给函数一个更清晰的名称，我们得到：

canColor ::  Eq a => [(a, a)] -> [(a, a)] -> Bool
canColor _ [] = True
canColor xs ((x,y):rest) =
    if findNeighbour xs x == findNeighbour xs y
    then False
    else canColor xs rest

findNeighbour :: Eq a => [(a, a)] -> a -> Maybe a
findNeighbour [] _ = Nothing
findNeighbour ((x,y):rest) z =
    if x == z
    then Just y
    else findNeighbour rest z

这里的想法是，如果它找不到任何东西，或者如果它找到 23（或它找到的任何东西） ，则findNeighbour返回。NothingJust 23

碰巧，findNeighbour已经定义了：它被称为lookup. 因此，您可以将代码重写为：

canColor ::  Eq a => [(a, a)] -> [(a, a)] -> Bool
canColor _ [] = True
canColor xs ((x,y):rest) =
    if lookup x xs == lookup y xs
    then False
    else canColor xs rest

现在，我们注意到您基本上是针对列表中的所有项目检查谓词。有一个功能：all. 因此，我们可以将代码缩短为：

canColor ::  Eq a => [(a, a)] -> Bool
canColor xs = all (\(x, y) -> lookup x xs /= lookup y xs) xs
于 2012-11-23T00:37:59.927 回答