在 Haskell 中将元组的元素作为参数提供给函数？

Question

在我的 Haskell 程序中，我想使用 printf 来格式化元组列表。我可以将 printf 映射到一个列表上，一次打印一个值，如下所示：

mapM_ (printf "Value: %d\n") [1,2,3,4]

Value: 1
Value: 2
Value: 3
Value: 4

我希望能够执行如下操作：

mapM_ (printf "Values: %d %d\n") [(1,100),(2,350),(3,600),(4,200)]

Values: 1 100
Values: 2 350
Values: 3 600
Values: 4 200

但这将一个元组传递给 printf，而不是两个单独的值。如何将元组转换为 printf 的两个参数？

Answer 1

函数 uncurry 将双参数（柯里化）函数转换为对函数。这是它的类型签名：

uncurry :: (a -> b -> c) -> (a, b) -> c

您需要在 printf 上使用它，如下所示：

mapM_ (uncurry $ printf "Values: %d %d\n") [(1,100),(2,350),(3,600),(4,200)]

另一种解决方案是使用模式匹配来解构元组，如下所示：

mapM_ (\(a,b) -> printf "Values: %d %d\n" a b) [(1,100),(2,350),(3,600),(4,200)]

Answer 2

mapM_ (\(x,y) -> printf "Value: %d %d\n" x y) [(1,100),(2,350),(3,600),(4,200)]

Answer 3

Text.Printf 的类型安全替代方案是 formatting 包。 Text.Printf.printf 不确保在编译时格式化参数的数量与参数的数量及其类型一致。请阅读 Chris Done 的文章 Printf 有什么问题？ 作为示例。

用法示例：

{-# LANGUAGE OverloadedStrings #-}
import Formatting

map (uncurry $ formatToString ("Value: " % int % " " % int)) [(1,100), (2,350), ...]
map (\(x,y) -> formatToString ("Value: " % int % " " % int) x y) [(1,100), (2,350), ...]

它需要 GHC 扩展 OverloadedStrings 才能正常运行。

而 formatToString ("Value: " % int % " " % int) 的类型为 Int ->整数-> String，取消柯里化后得到类型 (Int, Int) ->输入类型与列表中的元素匹配的字符串。

重写过程可以分解；假设f = formatString("Value: " ...)，

map (\(x,y) -> f x y)  ≡  map (\(x,y) -> uncurry f (x,y))  ≡  map (uncurry f)

即首先对f进行咖喱化，实现接受元组的函数，然后执行常规的< a href="https://wiki.haskell.org/Eta_conversion" rel="nofollow">Eta 转换 自 \(x,y) -> uncurry f (x,y) 等价于简单的 uncurry f。要打印结果中的每一行，请使用 mapM_：

mapM_ (putStrLn . uncurry $ formatToString ...) [(1,100), (2,350), ...]

如果您运行 hlint YourFile.hs，将向您推荐这些重写。