我基本上来自python世界,并且已经和haskell玩了几天.
作为python用户,来自hackage/stackage的库的命名空间是最令人困惑的.
例如,在python中,我们将导入Scotty模块import scotty,而haskell会这样做import Web.Scotty.
谁上传自己的音乐库上stackage或hackage Haskellers似乎更喜欢把自己的音乐库类别下的命名空间(例如Web,Language...).
在讨论之外的依赖控制的透视图中留下它是否是一种好的方法,是否有关于此分类的任何事实上的约定？
是否有任何社区同意的指南,如"将这些Network类别放在类别下并将这些类别放在Web类别或Data类别下".？
包名称,包标签和模块名称都是独立的东西.
包名称是一个任意标识符(只要它不与其他任何人冲突).它的常规使它全部小写,单词之间用连字符.如果几个包是一个家族的一部分,则格式为例如"llvm-base",其姓氏为第一个.根据Cabal手册包名称可以包含字母,数字和连字符,但不能包含空格.我不知道任何其他标点符号,但即使Cabal让它通过,我也会避免它.另外由于Windows和Linux之间路径名中关于大写字母的不同规则可能存在混淆,因此最好坚持使用小写.
标签用于帮助像Hackage这样的网站将包列表组织成有用的组,并且没有其他意义.
在一个包中将是一个或多个模块.这些是客户端源代码将导入的内容.模块存在于分层名称空间中.因此,例如"parsec"包包括模块"Text.Parsec.Combinator".您可以将点视为类似于路径名中的Linux"/"(实际上源将位于"src/Text/Parsec/Combinator.hs"中的文件中).
有一些顶级常规模块名称,例如"Control","Data","Text"和"System",您可以根据模块的主要工作使用它们.它使用它们的好风格,但不是强制性的.模块名称中包名称的外观(例如"Parsec")仅用于避免名称冲突; 包名称与其拥有的模块之间没有正式关系.
很可能有一个包含不同顶层层次结构的模块的包.例如,您可能有一个包含"System.Foo"和"Data.Foo"的包.
从广义上讲,"控制"用于单子和相关的东西,尤其是monadic和arrow组合器.但是由于monad也是一种数据类型,你不应该觉得需要将monadic类型放在一个单独的模块中,只是为了让它进入"Control".
"数据"是一个包罗万象的.如有疑问,请将其放入数据中.
"System"用于操作系统设施,尤其是可能无法移植的设备.
"Text"用于处理文本,解析,打印等.任何有很多字符串操作的东西都可能属于这里.
"图形":显然.
它是可选的,在一个级别具有模块名称,然后在其下面具有其他模块.因此"Text.Parsec"是一个模块,"Text.Parsec.Combinators"也是如此,但Parsec的设计者不需要包含"Text.Parsec".完成此操作后,通常意味着顶级模块(在本例中为"Text.Parsec")导出其子模块的公共子集,因此在许多情况下客户端代码只需要导入"Text.Parsec"而不是整个家族.