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

Question

我了解 ..可以在范围内使用——即 [1..3] == [1,2,3] , 和 [10..]是一个从 10 开始的无限列表。
但是，最近我也开始在括号内看到这些双点。作为 (..)或 {..} .
例如，导入语句可以读取import Colog (HasLog (..))我的第一个直觉是认为这意味着 HasLog 有几个组件，我们正在显式地导入所有这些组件。但这与没有 (..) 的简单导入 HasLog 有何不同？ ?
此外，(..)不同于 {..} ?

Answer 1

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

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

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也不会编译。 (这经常在导出列表中被利用，如果您希望数据类型的内部结构是“私有(private)的”并且只能通过实用函数、智能构造函数等进行操作。)

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