尝试解决需要使用 zip、范围和连接来创建十六进制映射列表的问题，例如 [(0,0),(1,1),(2,2),(3,3), (4,4),(5,5),(6,6),(7,7),(8,8),(9,9),(10,'A'),(11,'B' ),(12,'C'),(13,'D'),(14,'E'),(15,'F')]
我一直在尝试类似zip [0..9] [0..9] ++ zip [10..15] ['A'..'F']
或zip [[0..9] [0..9] ++ [10..15] ['A'..'F']]
我知道这些组列表的 Zip 会将我需要的映射列表放在一起，但我似乎无法将它们放在一起，并且 ++ 符号也是我们引入的唯一连接方法。任何帮助都会很棒。
【问题讨论】：
标签： haskell concatenation
确保你的类型匹配
zip [0..9] ['0'..'9'] ++ zip [10..15] ['A'..'F']
要了解这是为什么，让我们在 ghci 中玩一下：
Prelude> :t zip [0..9] [0..9]
zip [0..9] [0..9] :: (Num b, Num a, Enum b, Enum a) => [(a, b)]
Prelude> :t zip [10..15] ['A'..'F']
zip [10..15] ['A'..'F'] :: (Num a, Enum a) => [(a, Char)]
正如您在第二部分中看到的那样，您使用字符压缩了一些数字，但第一部分
压缩数字和数字。现在 GHC 不知道如何从数字文字中制作 Char
比如0 和9 甚至试图告诉你：
Prelude> zip [0..9] [0..9] ++ zip [10..15] ['A'..'F']
<interactive>:9:13:
Could not deduce (Num Char) arising from the literal ‘0’
...
这就是为什么您也需要像这样执行第一部分：
Prelude> :t zip [0..9] ['0'..'9']
zip [0..9] ['0'..'9'] :: (Num a, Enum a) => [(a, Char)]
【讨论】：