Lambda function 如何处理 Haskell 中的列表？

[英]How does the Lambda function work on lists in Haskell?

我有这行代码，不太明白为什么结果是[False, False] 我以为它会出现[True,True,True] 。 非常感谢在这里对结果进行简短的解释。 提前致谢 ...

我保留错误“解析输入 ins 时出错”

[英]I keeping the error "error on parsing on input ins"

此代码中的 HMW2types 只是一个包含包类型的所有声明的文件。 我什至从网上复制并粘贴了其他功能，但他们得到了同样的错误。 这个 function 获取一个元素并将其添加到包中。 [2 of 2] 编译 HW2sol ( HMW2sol.hs, HMW2sol.o ) HMW2sol.h ...

如果特定值重复，则返回 Bool

[英]Return Bool if a specific value repeats

我目前正在为学校做一个关于 email 标识的项目，但是代码的某个部分我已经被卡住了很长一段时间，我一直在试图弄清楚如果某个值会重复我该如何返回Bool . 这是我当前的代码： 这个想法是建立一个 function 来搜索某个值是否重复 在这部分代码中，我不知道如何指定重复时要返回的 Bool 值 ...

遍历一棵玫瑰树直到满足某个条件，然后修改树

[英]Traverse a rose tree until some condition is met, then modify tree

我在 Haskell 中有两棵玫瑰树，分别有m和n 个节点。 我想用第二棵树的第j个节点替换第一棵树的第i个节点。 例如树 1： 树 2： 那么树 1 节点 7 (C) 替换为树 2 节点 4 (Q) 的结果树应该是（假设索引是预先排序并从 0 开始） 我试过使用拉链，但我的问题是我无法锻炼如何将拉 ...

Haskell：使用 Scotty 跟踪和修改 state HTTP API

[英]Haskell: Keeping track and modifying state with Scotty HTTP API

我可以通过 Scotty API 使用 IO 修改我的 state 吗？ 目前，我在 IO monad 中有一个 state 转换器，可以根据用户输入修改 state。 但我想通过 Scotty API 来实现。 这是我目前拥有的 state 转换器类型，我用它来不断修改 state 类型并允许 ...

在 package.yaml 中的哪里添加标志？

[英]Where to add a flag in the package.yaml?

我有一个 package.yaml 文件，例如：name: ... version: ... ... flags: strict: ... description: ... ... dependencies: ... ... 大多数是典型的package.yaml ...

为什么 Maybe 返回类型会导致崩溃？

[英]Why does the Maybe return type make this crash?

我限制自己使用预内置函数进行培训。 我已将长度重新编码为计数并且有效。 我有一个搜索功能，当给定索引和列表时，它只返回列表中索引处的值。 它工作得很好。 当索引太大时会抛出错误。search [] _ = error "index too large" search (a:_) 0 = a sea ...

函子上的 Fmapping

[英]Fmapping over functors

假设我有以下代码： 如果我尝试调用fmap (\x-> 3 x) (LiftItOut (+3))它不起作用。 但是，工作没有意义吗？ 结果将是LiftItOut (fmap (\x ->3 x) (+3))并且，正如我所看到的，3 将被馈送到 (+3) 并且结果将被包装在LiftIt ...

如何将一系列单子动作应用于 Haskell 中的同一个参数？

[英]How do I apply a series of monadic actions to the same argument in Haskell?

Haskell，有没有办法简化下面的代码，去掉“hello world”的重复？ 换句话说，将f 、 g和h应用于hello world ？ ...

这个function的结果是什么？

[英]What is the result of this function?

这是我在测试中得到的代码，我想知道 output 是什么： 我是否将数组中的头/第一个数字与 6 (2*3) 或 2 进行比较，然后将总和乘以 3？ 正确答案是 18 还是 9？ ...

不明白这个集合 class 语法

[英]Don't understand this collection class syntax

这与我读过的有关类型类的内容或我习惯的语法不同。 我不明白c key value代表什么。 另外，空应该是什么？ 它不像 function。感谢并感谢任何帮助，我是 haskell 的新手，这让我感到困惑 ...

尾递归将元素添加到列表末尾 Haskell

[英]tail recursion to add element to end of list in Haskell

我递归地将这个简单的 function 到 append 元素写到列表的末尾： 它工作正常。 为了练习编写尾递归函数（直到几天前我才知道），我尝试按以下方式编写。 它反向输出我想要的列表。 为什么会发生这种情况我可以理解，但它仍然让我头疼。 为什么会发生这种情况？ 像这样遍历列表时会发生一般情况吗 ...

Monad Transformer 缺少参数（？）

[英]Monad Transformer missing parameter (?)

我有这种类型的别名： 我知道StateT具有* -> (* -> *) -> * -> *类型，因此它应该获得三个参数。 但在上面的示例中， StateT仅接收String和IO -Monad。 现在我想知道缺少的参数传递给StateT的位置。 IO如此，它应该得到一个参 ...

将简单递归 haskell function 转换为尾递归

[英]converting a simple recursive haskell function to be tail recursive

2 周新 haskell 和函数式编程。 在 class 中覆盖 foldl 和 foldr 的过程中，我发现我对尾递归很陌生，并且从未真正尝试过编写尾递归 function beofre（对于 foldl 如何遍历它出现的列表也是新的）。 为了练习，我尝试将以下内容重写为尾递归： ...但是 ...

在 ST 中并行计算可变向量

[英]Parallelize computation of mutable vector in ST

如何使在 ST 中完成的计算并行运行？ 我有一个需要通过随机访问填充的向量，因此使用了 ST，并且计算在单线程下正确运行，但一直无法弄清楚如何使用多个内核。 由于向量中索引的含义，需要随机访问。 有 n 个事物，在 n 个事物中每一种可能的选择方式在向量中都有一个条目，例如选择 function。这 ...

如何删除 Trees That Grow 引入的所有样板文件？

[英]How can I remove all the boilerplate introduced by Trees That Grow?

我正在尝试在 Haskell 中定义一种编程语言。我希望使 AST 可扩展：AST 模块的用户（例如漂亮的打印机、解释器、编译器、类型系统、语言服务器等）应该能够通过添加新功能和新数据（用于扩展语法的新数据类型以及用于当前数据构造函数的新字段以存储各种组件所需的数据）来扩展它。 我试图通过使用Tr ...

Haskell 中的临时多态性与数据构造函数

[英]Ad-hoc Polymorphism vs. Data Constructors in Haskell

为一个类型定义不同的数据构造函数，然后使用模式匹配定义函数，这与其他语言中的临时多态性非常相似：data Shape = Circle Float | Rectangle Float Float area :: Shape -> Float area (Circle r) = pi * r^2 ...

Haskell 中 `seq` 的源代码级定义

[英]Source-level definition of `seq` in Haskell

我在Haskell中尝试理解seq 。我对英文的seq有一些了解，所以现在我想阅读它的实现。 但是， 源代码说infixr 0 `seq` seq :: a -> b -> b seq = seq 我怎么读这个？ 这是一个无限递归的定义吗？ 不过，我怀疑不是。 ...

Haskell -fllvm 和 -O2 时 GHC 9.4.4 编译错误？

[英]Haskell GHC 9.4.4 compile error when -fllvm and -O2?

然而 和 测试.hs ...

如何按顺序运行一组测试？

[英]How to run a group of tests sequentially?

我有美味的测试看起来像：myTests :: [TestTree] myTests = [ testCase "1" $ do ... assertBool ... , testCase "2" $ do ... assertBool ... , testCase "3" $ do ...