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

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

• 该(..)语法专门用于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也不会编译。（这通常在导出列表中被利用，如果您希望数据类型的内部结构是“私有的”并且只能使用实用程序函数、智能构造函数等进行操作......）




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