我知道“..”可以在范围内使用——即,[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 并没有取得太大的成功。最好以传统方式使用记录,或者自动生成一些镜头并使用这些来完全避免记录问题。
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句