如何“拆包” Haskell 中的结构

Question

我最近遇到了这个问题并找到了解决方案，但我想知道是否有更好的（或更惯用的）解决方案。

我有一个颜色的结构：

data Rgb = Rgb Double Double Double

并且有一个我想将颜色分量单独传递给的函数，实际上是从开罗传递的：

setSourceRGB :: Double -> Double -> Double -> Render ()

所以我需要以某种方式“解压”这个数据结构，因为 setSourceRGB不采用 Rgb。我找到了两种方法。一种是定义一个函数来应用 Rgb 的内容：

applyRgb :: (Double -> Double -> Double -> t) -> Rgb -> t
applyRgb f (Rgb r g b) = f r g b

然后我可以这样做：

applyRgb setSourceRGB rgb

我想出的另一种方法是使用 case 执行内联 lambda 表达式，这意味着我没有定义一个单独的函数：

(\z -> (case z of (Rgb r g b) -> setSourceRGB r g b)) rgb

我对此并不完全满意，但是，以某种方式应用函数只是为了传递一些值似乎并不正确。我希望能够扭转它，并将 Rgb“转换”为 setSourceRGB 的正确类型。不幸的是，在我看来，不可能有一个

fromRgb :: Rgb -> Double -> Double -> Double

可以传递给 setSourceRGB 的函数。也许 applyRgb 是最好的解决方案，但我想知道是否有更好的方法可以让我将其表达为：

setSourceRGB (fromRgb rgb)

Answer 1

顺便说一句，你几乎肯定应该有：

data Rgb = Rgb !Double !Double !Double

相反，并使用 -funbox-strict-fields 进行编译，以便可以将组件解包为免分配的原始双精度值。

Answer 2

不，你不能写像 setSourceRGB (fromRgb rgb) 这样的东西，因为它只会给函数一个参数，所以 applyRgb 似乎是最好的解决方案。
如果你喜欢这种东西，你也可以使用 applyRgb 作为中缀函数：

setSource `applyRgb` rgb

如果你经常使用这个函数，你可以通过为 applyRgb setSource 定义一个名称来使你的代码更容易阅读。

Answer 3

如果不按照您想出的方式包装函数本身，您就无法将任何内容“解包”到多个参数中。

但是，为了保持一致性，我可能会将助手命名为这样的名称。

-- from Prelude...
uncurry :: (a -> b -> c) -> (a, b) -> c
uncurry f (a, b) = f a b

-- yours?
uncurryRgb :: (Double -> Double -> Double -> a) -> Rgb -> a
uncurryRgb f (Rgb r g b) = f r g b