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

html5 • • 问答

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

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

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

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

此外，(..) 与 {..} 有何不同？

回答

(..)和{..}都是在 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 并没有取得太大的成功。最好以传统方式使用记录，或者自动生成一些镜头并使用这些来完全避免记录问题。

以上是Haskell中括号内的双点是什么意思？的全部内容。
THE END
分享
二维码
< <上一篇
下一篇>>