从 Int 到特定字符串的列表

【问题标题】：List from Int to specific Strings从 Int 到特定字符串的列表
【发布时间】：2013-04-07 18:35:57
【问题描述】：

如果我想将Ints 的列表（例如[1,2,3]）转换为["∧","∨","→"]，我会怎么做（如果有“1”，则将其转换为“∧”等...）

【问题讨论】：

【解决方案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 = "∧"
    ...

【讨论】：