如何阅读haskell中的语法`Typ{..}`？ [复制]

Question

在阅读库代码 here 时，我注意到一个看起来很奇怪的语法，我无法理解：

momenta
    :: (KnownNat m, KnownNat n)
    => System m n
    -> Config n
    -> R n
momenta Sys{..} Cfg{..} = tr j #> diag _sysInertia #> j #> cfgVelocities
    --  ^^^^^^^^^^^^^^^ the syntax in question
  where
    j = _sysJacobian cfgPositions

System的相关定义包括一条记录{ _sysJacobian :: R n -> L m n }，而{ cfgVelocities :: R n }是Config的记录声明的一部分所以我相信我知道代码是做什么的，我认为代码可读性很强，道具给作者。

问题是：这个语法叫什么，我该如何使用它？

Answer 1

简而言之：它是GHC 的扩展，称为RecordWildCards。

在 Haskell 中，您可以使用 record syntax 来定义数据类型。例如：

data Foo = Bar { foo :: Int, bar :: String } | Qux { foo :: Int, qux :: Int }

然后我们可以在数据构造函数上进行模式匹配，并匹配零个或多个参数，例如：

someFunction :: Int -> Foo -> Foo
someFunction dd (Bar {foo=x}) = dd + x
someFunction dd (Qux {foo=x, qux=y}) = dd + x + y

但我们可能需要访问大量（甚至全部）参数。比如：

someOtherFunction :: Foo -> Int
someOtherFunction (Bar {foo=foo, bar=bar}) = foo
someOtherFunction (Qux {foo=foo, qux=qux}) = foo + qux

如果参数的数量相当大，那么这变得很麻烦。有分机RecordWildCards：

{-# LANGUAGE RecordWildCards #-}

如果我们在记录模式匹配时写入{..}，这将隐式写入每个参数foo、foo=foo。

所以我们可以这样写：

someOtherFunction :: Foo -> Int
someOtherFunction (Bar {..}) = foo
someOtherFunction (Qux {..}) = foo + qux

所以这里编译器将所有参数与同名变量进行隐式模式匹配，这样我们就可以在没有显式模式匹配的情况下访问这些参数，也不需要使用 getter。

因此，我们可以节省大量必须手动编写的大型代码块。然而，缺点是参数不再明确，因此代码更难理解。我们看到参数的使用实际上存在 getter 对应物，因此它可能会引起一些混乱。

就像@leftroundabout 所说，lenses 可能也可以做到这一点，它可以防止引入基本上影响 getter 的变量等。

您还可以将RecordWildCards与参数上的模式匹配合并，例如：

someOtherFunction :: Foo -> Int
someOtherFunction (Bar {bar=[], ..}) = foo
someOtherFunction (Bar {..}) = foo + 42
someOtherFunction (Qux {..}) = foo + qux

因此，如果带有Bar 数据构造函数的Foo 实例的bar 参数是空字符串，我们返回foo 值，否则我们将42 添加到它。

Answer 2

这是RecordWildCards 语法扩展。来自docs：

对于具有许多字段的记录，在记录模式中单独写出每个字段可能会令人厌烦......记录通配符语法允许在记录模式中使用“..”，其中每个省略的字段 f 都被模式替换f = f ... 扩展是纯粹的语法，因此记录通配符表达式指的是最近的封闭变量，其拼写与省略的字段名称相同。

基本上，它将记录的字段纳入范围。

在编写编码器/解码器时特别有用（例如Aeson），但为了代码的清晰性，应谨慎使用。