Haskell中括号内的双点是什么意思？

Question

我知道.. 可以在范围内使用——即[1..3] == [1,2,3]，而[10..] 是从10 开始的无限列表。

但是，最近我也开始在括号内看到这些双点。 (..) 或 {..}。

例如，导入语句可以读取 import Colog (HasLog (..))

我的第一个直觉是认为这意味着 HasLog 有几个组件，我们明确地导入了所有这些组件。但这与仅导入 HasLog 而没有 (..) 有何不同？

进一步，(..) 与 {..} 有何不同？

Answer 1

(..) 和{..} 都是将与数据类型相关联的名称带入作用域的方法，但它们非常不同并且在不同的上下文中使用。

• (..) 语法专门用于import 和导出列表。它是声明要导入/导出的数据类型的哪些构造函数和/或记录字段的语法的一部分。例如，如果我有一个模块

  module FooM where
  data Foo = F0 | F1 | F2
  data Bar = Bar { b0 :: Int, b1 :: Char }
  

  然后编译

  import FooM ( Foo(F1,F2), Bar(b1) )
  fu = F1
  ba = b1
  

  但这不是

  import FooM ( Foo(F1,F2) )
  fu = F0
  

  因为我只导入了F1 和F2 构造函数，而不是F0。如果我写

  import FooM ( Foo(..), Bar(..) )
  fu = F0
  ba = b0
  

  它也有效，因为它会导入 所有 构造函数和记录标签。相比之下，与

  import FooM ( Foo )
  fu = F0
  

  您根本不导入任何构造函数或记录字段，而只是将Foo 作为一个不透明类型，所以这里fu = F0 也不会编译。 （这经常在 export 列表中被利用，如果您希望数据类型的内部结构是“私有的”并且只能通过实用函数、智能构造函数等进行操作。）

• {..} 是RecordWildCards 扩展的一部分。简而言之，它将应用于参数的所有记录标签的名称转换为本地范围的变量。
  我建议不要使用它，它是试图解决的扩展之一Haskell 记录系统的缺点——与 IMO 没有太大的成功。最好以传统方式使用记录，或者自动生成一些lenses 并使用这些来完全避免记录问题。