列表从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 = "∧" 
    ...