问题标签 [hackage]

Hackage对于新手来说，许多模块都被标记为experimental，甚至是像Data.Bool这样基本的模块，这可能会让他们感到惊讶。

模块是否有任何过程或期望成为stable特别是base？我们应该注意这个标签吗？

我正在寻找一个无 monad、常量访问查询O(1)关联数组。

考虑假设类型：

我想构建一个不可变的结构一次：

我想随后以恒定时间访问重复查询它::

似乎有两个候选库不足：

• unordered-containers

• hashtables

unordered-containers

unordered-containers包含 type 的严格和惰性变体HashMap。两个HashMaps 都有函数记录的O(log n)查询lookup。这个查询访问时间似乎是由于HashMap类型的构造，它们具有允许O(log n) insert功能的内部树结构。对于许多用例来说，一个可以理解的设计权衡，但由于我不需要可变的HashMap这种权衡阻碍了我的用例。

hashtables

hashtables包含一个HashTable类型类和三个具有不同表构造策略的实例类型。这个库的类型类定义了一个常数时间O(1) lookup函数定义，但它永远嵌入在STmonad 中。没有办法“冻结”有状态的HashTable实现并拥有一个lookup没有嵌入有状态单子的函数。当整个计算包装在一个状态单子中时，库的类型类接口设计得很好，但这种设计不适合我的用例。

是否存在其他一些定义类型和函数的库，这些库可以构造不可变的常量访问查询O(1)关联数组，该数组未嵌入有状态的单子中？

是否存在某种方法来包装或修改这些现有的基于散列的库以生成不嵌入在有状态单子中的不可变常量访问查询O(1)关联数组？

简而言之，我对 Haskell 世界相当陌生，并且在安装依赖于 network-2.6.3.1 的包时遇到问题。

自行安装网络会产生类似的结果。是否有任何常见的怀疑或推荐的错误安装步骤？我已经成功安装了其他软件包，ghcid，ghc-mod 等。

更新

随着时间的推移，我开发了一个凌乱的系统级 Haskell 安装，我不确定如何完全清理它。但在大多数情况下，这并不是什么大问题，因为我只是使用堆栈来管理每个项目的 Haskell 配置。然而，由于我的项目需求与我的系统 Haskell 设置不同，我想知道为 Hackage 构建和上传包的最佳方法是什么。

具体来说（1）我应该使用

而不是简单地

(2) 是否有任何理由安装 cabal 的项目版本（带有stack build cabal？）

还是有一些更好的基于堆栈的方法来构建和分发到不涉及cabal直接调用的 Hackage？

Hackage 能够显示 Markdown README 已经有一段时间了。

但是，例如在Hackage 页面hpack上可以看到，Hackage 似乎不支持与 GitHub 相同的表语法。

降价：

在 GitHub 上渲染：

在 Hackage 上渲染：

所以，我想知道：

• Hackage 支持哪种 Markdown 方言？
• 该方言中的表格是否有语法？
• GitHub 和 Hackage 都支持 Markdown 子集中的表格语法吗？

目前，当我想更新我的一个 hackage 包时，我会经历这个过程。

1. 将更改推送到 github
2. 等待 travis-ci 在更改上运行，以确保我没有收到任何构建错误。
3. 上传到黑客
4. 在 git 中标记发布。

当然，如果上一步成功，我只想执行这些步骤中的每一个。

我想其他人也有类似的工作流程，有什么东西可以完成所有这些步骤吗？我可能可以在脚本中执行 (1)、(3) 和 (4)，尽管 (2) 我不太确定（即检查 travis-ci 的结果），但这似乎很常见问题我想知道是否有人已经解决了它，所以我不重新发明轮子。

像这样的东西是否已经存在或者我应该为 Hackage 打包它（我发现它对收集错误很有用）：

值得注意的是Applicative和的Monad实例(,)与此非常相似，但它是用于收集“警告”的产品类型。

如果我为 Hackage 打包它，我可能会添加更多实例，但如果有人已经这样做了，我不想重新发明轮子。

如何生成适当的包文件？

hackage 上传页面有一个链接到：https ://www.haskell.org/cabal/users-guide/installing-packages.html#setup-sdist但在阅读之后我仍然不确定。

我试过了：

也：

我想安装与Minisat求解器的绑定，以解决 Hackage 上可用的可满足性问题。

当我尝试cabal install minisat-solver在 Linux 工作站的命令行上执行操作时，我得到以下输出

显然，我需要告诉 cabal 告诉 gcc 在编译嵌入式 C 源代码时使用 ansi-c99 模式。换句话说，将 -std=c99 传递给 gcc 编译器。

我怎么做？

到目前为止，Hackage 包搜索不仅像以前那样提供所有匹配项的列表，而且允许以各种方式对它们进行排序。值得注意的是，现在可以按rating排序，即用户对包的满意度（如果人们真的开始给包打分……这已经有一段时间了，但几乎没有投票），还有一些“DL”标准。我首先假设这以某种方式计算了反向依赖关系，即描述了有多少其他包依赖于这个，但情况似乎并非如此，因为base它的值只有 1692，而例如base64-bytestring有高达 7384。

所以如果不是这样，这个数字告诉我什么？