从Int到特定字符串的列表

Question

如果我想将Int的列表（例如[1,2,3]}转换为["∧","∨","→"]（如果有'1'转入'∧'，我该怎么办？等...）

Answer 1

我可能会分两步完成：

conv :: Int -> String
conv 1 = "∧"
conv 2 = "∨"
conv 3 = "→"

然后只是映射：

change :: [Int] -> [String]
change = map conv

change [1,2,3] -- returns ["∧","∨","→"]

你甚至可以嵌入：

change = map conv
  where
    conv 1 = "∧"
    ...