Haskell使用zip範圍和級聯

Question

試圖解決需要使用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']]

我理解那些組列表的郵編將放在一起的映射表，我需要，但我只是不能似乎讓他們一起和++符號是我們也引入了concoudaion的唯一方法。任何幫助都會很棒。

Answer 1

確保您的類型匹配

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)]