如何从元组列表中获取值列表？

[英]How do I get a value list from a tuple list?

我有一个类型为 (x, y) 的值表，我想得到一个 x 表，但是出了点问题，代码如下： 我收到此错误： ...

在 Hashkell 中使用 where 或 let 进行绑定的语法错误

[英]Syntax error using where or let in binding in Hashkell

我最近是 Haskell 世界的新手。 而且，仍然在语法上挣扎。 以下两种方法都有语法错误。 可能是什么问题呢？ 版本 1： 版本 2： 两者都有同样的问题： 谁能帮我？ 我正在尝试实现尾递归反向函数。 ...

`gcc.exe' 在 /dist-newstyle/ 文件夹中的 `C 预处理器' 阶段失败错误消息

[英]`gcc.exe' failed in phase `C pre-processor' error message in /dist-newstyle/ folder

我有一个主题为“语言和编译器”的项目，我们用 Haskell 编写解析器。 目前我正在研究这个2-Arrow项目，我们使用“alex”和“happy”库从 lexer.x 和 parser.y 文件创建 parser.hs 和 lexer.hs 文件。 在尝试构建我的框架（项目目录中的cabal b ...

haskell 中 GHC.Natural 和 Numeric.Natural 中定义的自然类型有什么区别？

[英]What is the difference between Natural type defined in GHC.Natural and Numeric.Natural in haskell?

根据问题的标题 - 在 haskell 中GHC.Natural和Numeric.Natural模块中定义的Natural类型有什么区别？ 应该使用哪一个？ ...

Parsec 中 `sepBy` 中分隔符解析器的渴望

[英]Eagerness of separator parser in `sepBy` in Parsec

这是一个关于 Haskell 的 Parsec 中解析器优先级的更一般性问题的问题，因此请随时对我的问题做出更一般性的回应。 假设我有一个p:: Parsec String () Int ，它使用String中的每个字符并在末尾对其 ASCII 值求和。 我想将此p转换为另一个相同类型的解析器，该解 ...

使用 Haskell 创建解析器时的左递归算法

[英]Left recursive arithmetic when creating parser with Haskell

我正在尝试使用在其（算术）输出中保持关联的readP 库在 Haskell 中创建一个解析器。 在下面的简化代码中，如果在表达式的左侧部分调用pOp （请参阅注释掉的代码），我显然会得到一个无限循环，或者我会得到一个正确的关联输出，例如2+(4+(6+8))相当于： MVE： 我尝试了不同的策略， ...

查看 readP Haskell Parser 为什么它不返回值

[英]look in readP Haskell Parser why doesn't it return a value

我试图更好地了解readP 库： 为什么这样做： 返回： 当这个 退货： 在这两种情况下都应该返回一些值，考虑到签名： look:: ReadP String ...

Haskell 在一个 do 块中接受多个输入和输出

[英]Haskell take multiple input and outputs in a do block

我一直在尝试在同一个 do 块中获取输入并将列表输出到控制台，然后通过递归重复此函数，但我是 IO in haskell 的新手，看不到如何获取它工作。 此外，我没有在递归上放置 break 语句，因为我可以在使用完它后通过在控制台中按 control-c 来中断它。 我的代码： do 块之前的行 ...

无法从haskell中读取文件

[英]Can't read from a file in haskell

我一直在尝试在 haskell 中使用 readFile 语法，但是当我尝试这样做时，出现了一个我不知道如何修复的错误。 我的代码： 错误： 此错误是通过使用“mape_path”字符串执行函数“get_maze”而导致的。 我只是想将文件的全部内容转换为常规字符串格式，我们将不胜感激。 ...

二叉树的结构归纳

[英]Structural induction on binary trees

考虑以下函数定义： 任务：通过结构归纳证明对于所有有限树 t:: Tree a 成立： sumLeaves t = sumNodes t + 1 我现在有： 是： 现在什么是归纳步骤，我真的很难解决这最后一步。 ...

定义 EQ 实例

[英]Define EQ Instance

我正在尝试创建一个 Eq 实例，但在创建它时遇到了一些问题。 我有以下数据定义： 现在我想将 Chain 转换为 Eq 实例（相同时为真）。 这是我当前的实例： 它将(a == c) && (b == d)标记为错误（歧义出现 '=='） 我不确定这是为什么，如果有人能帮助我，我将不 ...

二进制转十进制折叠

[英]Binary to decimal with fold

大家好，我们有一个问题：我们应该编写一个函数 bin2dez，其条件为：获取一个自然数并将该数字的十进制表示形式作为字符串返回。 为此使用折叠。 我对这里的折叠感到困惑，因为你需要一个函数 f 和一个中性元素，这里的中性元素应该是 0，但是我怎么能在 Haskell 中输入这个，有人能帮我吗，谢谢 ...

计算列表中项目的价格

[英]Calculate Price of items in a list

我正在学习 Haskell 中的代数数据类型，但遇到了一个我无法解决的问题。 所以我想输入一份杂货清单，作为输出我应该得到总价。 现在，我有以下类型： 我有杂货清单： list1 = A `Add` (B `Add` Empty) 我有一个功能（设置物品的价格）： 现在这是我遇到困难的地方。 我想将 ...

二叉树的 preOrder 和 levelOrder

[英]preOrder and levelOrder for Binary Trees

我正在尝试实现 preOrder（首先，考虑根，然后递归地考虑左子树，然后是右子树）和 levelOrder（从左到右按升序查看节点。） 我有： 它似乎有效，但我正在努力使用 levelOrder 函数，我只有： 我不知道下一步该怎么做才能让它发挥作用。 ...

代数数据类型列表到实际列表

[英]Algebraic data type list into an actual list

我想创建一个函数，在其中输入一个代数数据类型列表，它应该输出一个实际列表。 例如，我们有一个list1 = P `Cons` (G `Cons` Empty) 输出应为： [G,P] 我创建了以下代数数据类型： 我当前的功能是： 我在解决这个问题时遇到了麻烦，如果能得到一些帮助，我将不胜感激！ 提前 ...

你如何惯用地将 1 加到两个 Maybe Int 上，然后在 haskell 中将它们相乘

[英]How do you idiomatically add 1 to two Maybe Int and then multiply them together in haskell

昨天我读了一些关于整个 monad 的东西。 我永远不会掌握它，但它不会阻止我尝试使用它。 这个问题中的一些答案确实推动了 monad 的存在，使事情变得更好，更具可读性。 “Haskell 对 monad 有很好的支持”，这是否意味着我可以写出很好的代码，例如开箱即用？ 或者这是否意味着我可以为 ...

如何为计算器声明一个类？

[英]How to declare a class for a calculator?

我正在尝试使用类声明在 Haskell 中构建我自己的计算器。 首先，我试图实现加法，但在这里我得到了错误： 无法将预期类型“Exp -> Double”与实际类型“Exp”匹配data Exp = Number Double | Add Exp Exp class Calc a wh ...

按顺序组合两个“Spec”类型

[英]Sequentially composing two `Spec` types

假设 并且模块Test.hspec被导入。 我正在阅读以下代码行： 我的问题是： Spec是否有Monad类型类的实例？ 由于第一个操作结果被丢弃，这行代码不等同于hspec testBuildBoard吗？ ...

class实例声明的解释

[英]Explanation of class instance declarations

我正在关注教程并找到了这段代码：data A = B | C deriving(Eq) class K a where f :: a -> Bool instance K A where f x = x == C f _ = False call = f B 为什么我需要f _ ...

记忆一个递归方案

[英]Memoizing a recursion scheme

是否可以记住递归方案？ 如果是这样，你会怎么做？ 例如，下面使用anamophism和catamorphism 解决晶格路径问题： 这是低效的，因为子问题被重新计算而不是存储和重用。 我想知道是否有办法存储（或让 haskell 编译器存储）以前计算的子问题。 我看过一些与记忆多态函数相关的资源（ ...