《haskell》专题

或者我只是混淆了概念，存在类型和泛型意味着完全不同的东西。请帮我弄明白。

我在使用Haskell反射包时，遇到了一个我不完全理解的类型错误。首先，我尝试编写以下函数，它可以轻松地打字： 我觉得这很奇怪。乍一看，这是无效的，因为在第二个示例中，skolem将会逃避它的作用域。然而，这实际上不是真的--错误消息从未提到skolem escape，与这个略有不同的程序形成对比： 所以也许还有别的东西在起作用。 检查的类型，可以稍微清楚地看出有些问题： 更具体地说，为什么会产生

假设我们有一个带有签名的函数 是否有可能实施一个约束来确保a和b是不同的？那就是 这个问题的目的是了解更多关于Haskell的信息，并可能解决我面临的一个设计问题。如果a==b，我的特殊情况是没有意义的，所以我想在编译器级别禁止这样做。我可能会用一个完全不同的设计来解决这个问题，但这不仅仅是现在的重点--潘多拉盒子已经打开，我想知道类型级别上的等式约束是否可能。

本文向大家介绍Haskell记录镜头，包括了Haskell记录镜头的使用技巧和注意事项，需要的朋友参考一下 示例 简单记录 镜头x和y被创建。 使用重复的字段名称管理记录 创建一个类型HasName，透镜name为Person，使Person的一个实例HasName。随后的记录也将添加到该类中： 必须使用Template Haskell扩展程序makeFields才能正常工作。从技术上讲，完全有可

本文向大家介绍Haskell插入排序，包括了Haskell插入排序的使用技巧和注意事项，需要的朋友参考一下 示例 使用示例： 结果：            

本文向大家介绍Haskell合并排序，包括了Haskell合并排序的使用技巧和注意事项，需要的朋友参考一下 示例 有序合并两个有序列表 保留重复项： 自顶向下版本： 定义这种方式是为了清楚而非效率。 使用示例： 结果： 自下而上的版本：            

本文向大家介绍Haskell优雅的镜片，包括了Haskell优雅的镜片的使用技巧和注意事项，需要的朋友参考一下 示例 除了makeLenses用于生成Lenses的标准功能外，Control.Lens.TH还提供该makeClassy功能。makeClassy具有相同的类型，并以与基本上相同的方式工作makeLenses，但有一个关键区别。除了生成标准的镜头和遍历之外，如果该类型没有参数，它还将创

我已经写了两个版本的nqueens问题，我认为它们应该有相似的效率，但事实并非如此。我认为这是由于哈斯克尔的懒惰评估行为。有人能解释一下下面的例子是如何工作的吗， 您可以通过调用nqueens1 8 8或nqueens2 8 8对其进行评估，以对大小为8的板进行评估。 虽然nqueens2工作效率很高，但nqueens1存在性能问题。我相信这是因为递归调用（nqueens n（k-1））被多次评估

我现在被IFPH第7章的一个问题困住了。 练习7.1.2内容如下： “排序的一个定义是取 详细给出表达式排序[3,4,2,1]的渴望和懒惰求值减少序列，解释它们的区别。” 现在，我先从急切的求值缩减序列开始，我假设它是最内部的缩减。 对我来说，这产生了... 这是已排序的列表。 现在对于惰性评估，我能想到的唯一减少序列与渴望评估完全相同。当然，Haskell对惰性评估进行最左边的最外层评估：但是我

我目前正在学习Haskell，突然遇到了这个表达式。 我的直觉是，由于用0除法，这将导致运行时错误，但从测试来看，情况并非如此。 我的结论是，这一定是由于Haskell内部的懒惰评估。因为匹配任何东西，所以它不会检查它与什么比较？ 所以，如果有人能告诉我这个评估是否正确，如果不正确，为什么。另外，请详细说明在不实际查看表达式的情况下，案例行可以匹配的前提。

问题内容： 我一直在研究与SQL数据库接口的Persistent库。假设我有一个包含配方，配方，成分和RecIng表的数据库。 我对持久性的理解（绝对有限）使我相信我应该定义如下表： 这样，可以使用Esqueleto获取这些表之间的内部联接： 这将返回（Recipe，RecIng，Ingredient）的元组。 我真正想要的是一种查询配方的方法，其结果如下： 除了定义一组额外的数据类型并转换元组之

当我们创建一个类型类时，通常会假设它的函数必须服从某些属性。因此，我们得到了它们各自类型类的么半群和么单律。但是，如果有某种规律，比如结合性，我想要指定多个类可以服从，也可以不服从这个规律，那该怎么办？在Haskell的类型系统中有办法做到这一点吗？这种类型类对类型类的想法在实践中是否可行？ 下面是代数中一个很有启发性的例子：

我正在尝试使用递归算法构造DFS树。 这个的伪代码是： . 虽然通过为未访问/访问的节点构造某种数据结构、为它们分配动态分配或某种声明，我可以用命令式语言以简单的方式很容易地实现这一点，但对于Haskell来说，这是不可能的，因为Haskell的纯净性使我无法在传递参数时更改数据。 这是我使用DFS ish（或者更确切地说是BFS ish）算法进行图形遍历时得到的结果，但问题是它将再次访问不在点路

我试图解决代码战问题，称为：N的尾随零的数量！和哈斯克尔。我知道我不需要计算阶乘来知道尾随零，事实上我只是计算有多少个数字可以被5整除，以及每个数字可以被5整除多少次。我写了两个版本，一个版本在对一个数字进行去噪时使用回忆录，以得到可以被5整除的次数，另一个版本不使用回忆录。令我惊讶的是，假设的DP方法比普通的递归方法耗时更长。我可能在代码中做了一些非常愚蠢的事情。 以下是功能： 我试图记下的是默

在Haskell中执行嵌套循环有两种明显的“惯用”方法：使用列表monad或使用 ： 在1s内运行。这个库使用得不多，也远不是惯用的，那么，获得快速恒定空间二维计算的惯用方法是什么呢？（注意，这不是REPA的情况，因为我想在网格上执行任意IO操作。）