haskell神奇的代码，这是怎么回事

Question

我正在查看 Cloud Haskell 包的 Encoding.hs，并遇到了一些奇怪的代码，我希望有人可以帮助我更好地理解。包括必要的代码：

class (Binary a,Typeable a) => Serializable a
instance (Binary a,Typeable a) => Serializable a

data Payload = Payload
    { 
        payloadType :: !ByteString,
        payloadContent :: !ByteString
    } deriving (Typeable)

serialDecodePure :: (Serializable a) => Payload -> Maybe a
serialDecodePure a = (\id -> 
    let pc = payloadContent a
    in pc `seq`
        if (decode $! payloadType a) == show (typeOf $ id undefined)
        then Just (id $! decode pc)
        else Nothing ) id

我只是好奇 $!确实如此（我猜只是严格评估），以及为什么我们需要 id 技巧（具有惰性评估的东西？）。另外，我特别对这一行有问题：

if (decode $! payloadType a) == show (typeOf $ id undefined)

我猜这是查看 PayloadType 是否因任何原因无效，但如果是这种情况，则不应切换 then 和 else 子句，即更改：

if (decode $! payloadType a) == show (typeOf $ id undefined)
    then Just (id $! decode pc)
    else Nothing

为

if (decode $! payloadType a) == show (typeOf $ id undefined)
    then Nothing
    else Just (id $! decode pc)

感谢任何您可以提供的帮助。

Answer 1

您是对的，$! 是一个严格的求值器。它的类型与 $ 相同，唯一的语义差异是第二个参数在传递给函数之前经过 seq 处理。

我认为 id 实际上是为了帮助类型推断。在功能块 (\id -> ...) 中，函数 id 被强制具有类型 a -> a，其中 a 不仅仅是任何类型变量，而是与 This 中相同的 a ，

serialDecodePure :: (Serializable a) => Payload -> Maybe a

这一行：

Just (id $! decode pc)

这是由于 this 的类型为 Maybe a，id 的推断类型为 a ->;一个。因此，在您正在查看的行上，

if (decode $! payloadType a) == show (typeOf $ id undefined)

id undefined :: a，其中a再次与输出相同。

现在我们可以进行类型检查了。由于此函数是多态的并且将解码为任何类型，因此它需要检查编码数据是否与其解码的类型兼容。如果您对 String 进行编码并尝试解码为 Int 该怎么办？ LHS 将解码为“[Char]”，这是字符串的 TypeRep 表示形式。 RHS 将改为“Int”，即它尝试解码的类型。由于它们不相等，因此“else”路径是返回 None 的路径。

您可以使用 ScopedTypeVariables 扩展来完成相同的操作，而不是使用此 id 函数类型限制。

Answer 2

哇，这是一些看起来很奇怪的代码！正如您所猜测的，($!) 是关于严格性的：

f $! x = x `seq` f x

id 技巧更加狡猾，并且完全与类型限制有关。您会注意到 id 在函数体中使用了两次。第二次它被用作 id $!解码电脑；这修复了 id 的类型，以对 decode 输出的任何类型的内容进行操作。第一次使用是 typeOf $! id 未定义;由于 id 的类型已经被修复，这修复了 undefined 的类型，因此 typeOf 被应用于单态参数（并且你不要出现“类型不明确”错误）。这种事情通常是使用 ScopedTypeVariables 扩展而不是这种技巧来完成的，但也许他们希望尽可能避免扩展。至于它的含义：

(decode $! payloadType a) == show (typeOf $ id undefined)

...在我看来，这是在检查有效负载是否与 then 中调用 decode 返回的内容的类型相匹配分支。当它们匹配时，拥有 Just 值（即成功），而当它们不匹配时，拥有 Nothing 值（即失败）似乎是有意义的。