Haskell 中的元组函数

Question

我有这个功能

getCode :: [(a, Int)] -> [a]
getCode = concatMap (uncurry replicate)`

我期待

getCode [(‘a’,4),(‘b’,1),(‘a’,3),(‘b’,1)]

输出

“aaaabaaab” 

相反，我得到一个错误，它与预期的数据类型[(a,Int)] 不匹配，而实际的数据类型是[(Int,a)]。我如何改变它以使其工作？还是其他方式？

Answer 1

你可以用flip函数交换replicate的参数：

flip :: (a -> b -> c) -> b -> a -> c

flip f 以f 的相反顺序获取其（第一个）两个参数。

getCode :: [(a, Int)] -> [a]
getCode = concatMap (uncurry (flip replicate))

---

或者使用 Data.Tuple 中的 swap 用元组而不是函数参数来做同样的事情：

getCode :: [(a, Int)] -> [a]
getCode = concatMap (uncurry replicate . swap)