初学者 Haskell 问题（没有实例......引起）

Question

我最近开始学习 Haskell，我正在尝试用 Haskell 重写我在 python 面试中所做的一些事情。我正在尝试将字符串从驼峰式大小写转换为下划线分隔（“myVariableName”->“my_variable_name”），并且如果第一个字符是大写，也会抛出错误。

这就是我所拥有的：

import qualified Data.Char as Char

translate_java :: String -> String
translate_java xs = translate_helper $ enumerate xs
    where 
        translate_helper [] = []
        translate_helper ((a, num):xs)
            | num == 1 and Char.isUpper a = error "cannot start with upper"
            | Char.isUpper a              = '_' : Char.toLower a : translate_helper xs
            | otherwise                   = a : translate_helper xs


enumerate :: (Num b, Enum b) => [a] -> [(a,b)]
enumerate xs = zip xs [1..]

我意识到我很可能会以一种奇怪的方式来解决这个问题，并且我希望获得有关更好的方法来实现此目的的建议，但我也希望对其进行编译。这是我现在遇到的错误：

Prelude> :r
[1 of 1] Compiling Main             ( translate.hs, interpreted )

translate.hs:4:20:
    No instance for (Num
                       (([Bool] -> Bool) -> (Char -> Bool) -> Char -> t))
      arising from a use of `translate_helper' at translate.hs:4:20-35
    Possible fix:
      add an instance declaration for
      (Num (([Bool] -> Bool) -> (Char -> Bool) -> Char -> t))
    In the first argument of `($)', namely `translate_helper'
    In the expression: translate_helper $ enumerate xs
    In the definition of `translate_java':
        translate_java xs
                         = translate_helper $ enumerate xs
                         where
                             translate_helper [] = []
                             translate_helper ((a, num) : xs)
                                                | num == 1 and Char.isUpper a
                                                = error "cannot start with upper
"
                                                | Char.isUpper a
                                                = '_' : Char.toLower a : transla
te_helper xs
                                                | otherwise = a : translate_help
er xs
Failed, modules loaded: none.

对这里发生的事情的任何解释都会很棒。我真的不明白“(Num (([Bool] -> Bool) -> (Char -> Bool) -> Char -> t))”来自哪里。我认为 translate_helper 的类型声明类似于 [(a,b)] -> [一个]？

Answer 1

您必须将 and 替换为 &&。第一个是一个函数（前缀），它接收布尔值列表并计算它们的和。第二个是真正的逻辑与。但错误消息有点令人困惑。每当我收到如此奇怪的错误消息时，我通常会开始用类型签名来注释我的代码。然后编译器能够为您提供更详细的错误描述。

Answer 2

其他人提到您应该使用 (&&) 而不是 and，所以我会回答您的其他问题：不，我不认为您是以一种奇怪的方式处理这件事。

但是...我确实认为它可以更加优雅！

translate_java (x:xs) | isUpper x = error "cannot start with an upper"
translate_java xs = concatMap translate xs where
    translate x = ['_' | isUpper x] ++ [toLower x]

这里发生了一些有趣的事情：

1. 立即检查特殊情况。不要等到递归才这样做！
2. concatMap 函数在很多情况下都非常方便。它只是一个 map 后跟一个 concat。如果我自己写这个，我可能会使用 xs >>= translate 来代替。
3. 那个 ['_' | isUpper x] 是一个列表理解；这是一个可爱的习惯用法，用于创建一个包含 0 或 1 个元素的列表，具体取决于谓词是否成立。

除此之外，代码应该是相当不言自明的。

Answer 3

问题是这样的：

| num == 1 and Char.isUpper a = ...

and 不是中缀运算符；相反，它是一个函数：

and :: [Bool] -> Bool

因此它将 1 和 Char.isUpper a 解释为将三个参数应用于“函数”1。使用 && 代替。

错误消息来自数字的解释方式。一个数字，比如1，实际上是多态的；它获得的具体类型取决于所需的类型。这就是为什么你可以说x+1，并且无论x是整数还是双精度数或其他什么，它都会起作用。因此编译器推断 1 的类型需要是一个三参数函数，然后尝试找到一个匹配的数字类型，以便将 1 转换为该类型（当然，失败了）。

Answer 4

这是我的解决方案。它不像 Daniel Wagner 使用 concatMap 和列表理解给出的答案那么熟练，但对于初学者来说可能更容易理解。

conv :: String -> String
conv [] = []
conv s@(x:xs) = if Char.isUpper x 
                then error "First character cannot be uppercase"
                else change s

change :: String -> String
change [] = []
change (x:xs) = if Char.isUpper x 
                then '_' : Char.toLower x : change xs 
                else x : change xs

函数 conv 实际上只是检查你的标准，即第一个字符不能是大写，如果不是，它会将字符串移交给函数 Change，后者会完成工作。它一一遍历所有字符，构建一个列表，如果字符是大写，它会添加一个下划线，后跟该字符的小写版本，否则如果字符已经是小写，它只会按原样添加。