《haskell》专题

当使用创建类型同义词时，GHC/GHCI在显式使用时将使用它而不是原始类型，但绝不会尝试从推断的类型向后工作到匹配的同义词。获取一个类型的最“抽象”的同义词对于学习复杂的应用程序和库非常方便，这些应用程序和库定义了单子堆栈的同义词，也可能定义了同义词的同义词。

不幸的是，由于Liskov替换原则，Java中的子类在接受什么方法参数方面不可能比基类更有限制性，所以Java也允许一些永远不可能为真的无谓比较（并可能导致非常微妙的bug）： 另一个不幸的副作用是，正如Josh Bloch很久以前在《Effective Java》中指出的那样，在存在子类型的情况下，基本不可能按照其契约正确实现方法（如果在子类中引入额外的字段，实现将违反契约的对称性和/或传递性要

存在类型似乎对它们包含的类型不感兴趣，但与它们匹配的模式表示存在某种类型，除非我们使用Typeable或Data，否则我们不知道它是什么类型。 当我们想要隐藏类型时（例如：对于异构列表），或者在编译时我们并不真正知道类型是什么时，我们会使用它们。 通过提供隐式为使用存在类型的代码提供了清晰、更好的语法 我的疑虑 在上面PDF的第20页中，下面的代码提到，函数不可能需要特定的缓冲区。为什么会这样？当

这段Haskell代码在使用

是否有可用于 Haskell 的斐波那契堆/优先级队列？（甚至是渐近更好的？我在这个问题中找到了各种优先级队列实现的列表，但我找不到它们中的任何一个是否满足斐波那契堆的摊销运行时间： < li>Find-minimum是O(1)摊销时间。 < li >操作insert、decrease key和merge (union) work是O(1)摊销时间。 < li >操作删除和删除最小值是O(log

我定义了一个自定义GADT，其中类型构造函数对类型变量有一个类型类约束，如下所示： 我假设我不必提到约束，因为它是在GADT定义中声明的。我唯一能想到的部分原因是GADT在函数中的位置。我对此不太了解，但据我所知，在中处于正位置，在中处于负位置。 我什么时候必须明确地提到类型类约束，什么时候GHC自己根据GADTs类型构造函数上的约束来解决它？

最近，我在Stackoverflow中问了一个关于从图构建DFS树的问题，并了解到它可以通过使用状态单子简单地实现。 haskell中的DFS 虽然DFS要求仅跟踪访问的节点，以便我们可以使用“设置”或“列表”或某种线性数据结构来跟踪访问的节点，但BFS需要“访问的节点”和“队列”数据结构来完成。 我的BFS伪代码是 从伪代码中可以推断，我们每次迭代只需要做3个过程。 从队列中取出点 将该点的所有

我正在尝试编写更长的函数：[a]- 在我为它提供一个无限的列表之前（更长[1..]例如，10），它将陷入某种无限循环，无法完成运行。所以问题是，有没有一种方法可以定义它，如果它得到一个无限列表，它只会返回True，而不会试图计算整个结果？提前谢谢

如果我有以下代数数据类型 并且有一个包含MyVal类型元素的列表 现在，我想让write函数找出我的列表中所有的值都是‘Right’，然后它应该返回True，否则返回False。 在的情况下，它将返回True；而对于的情况，它将返回False。 我该怎么做？ 我试过使用功能，但无法正确使用。

我有一个无限的列表，我想选择一对，其中和都来自列表，并且这对都满足一些属性。使用列表理解似乎不起作用，因为列表是无限的。 我试图找到一对素数，它们加起来等于一个给定的数字（参见下面的代码）。 我定义了，这是一个无限的素数列表，但当我天真地尝试选择下面的一对素数时，这个过程永远不会终止。 我意识到这是因为正在生成的素数列表是。基本上，正在成为中的第一个元素，然后，一旦耗尽，它将移动到第二个元素上。因

我想写一个函数来检查第一个列表是否比第二个列表长，并且其中一个列表可以是无限的。但是我找不到一个工作的解决方案。

我在互联网上搜寻这个关键词的实际用途。我看过的每一篇Haskell教程都只是随机开始使用它，从来没有解释过它的功能（我看过很多）。 这是来自Real World Haskell的一段基本代码，它使用。我明白代码的作用，但我不明白的目的或功能是什么。 据我观察，它与打字有关，但这几乎是我所能学到的全部。 如果您能很好地解释一下

长话短说，我在看西蒙·佩顿·琼斯的演讲，在21:41的时候，他引用了一句话： 我当时正在处理一个bug，很沮丧，在ghci中输入了“修复错误”… 我试过了。 结果： 一开始我只是想，这个到底做了什么？ 所以我看了一些类型 因此 但很明显，这仍然没有告诉我多少结果。 然而，更奇怪的是，即使是或的输出也和上面的一样是一个永不间断的输出（除了后者的输出，，缺少首字母）。 我在看什么？ 需要明确的是，目前

我正在准备考试的作业之一让我创造了 然后它要求制作

我试图理解这段代码，它返回传递给它的的所有可能组合： 在这里，我尝试了这个样本输入: 在这里，我似乎无法理解递归最终将如何停止并返回，因为函数肯定没有任何指针在列表中移动，在每次调用时，当它满足基本情况时，它返回。根据我的说法，它将调用函数无限，并且永远不会自行停止。或者可能是我错过了什么？ 另一方面，take 在完成递归调用后返回返回所有计算后，仅返回的前 个元素。那么，实际上递归如何满足这里的