
[英]How does the Lambda function work on lists in Haskell?
我有这行代码,不太明白为什么结果是[False, False] 我以为它会出现[True,True,True] 。 非常感谢在这里对结果进行简短的解释。 提前致谢 ...
[英]How does the Lambda function work on lists in Haskell?
我有这行代码,不太明白为什么结果是[False, False] 我以为它会出现[True,True,True] 。 非常感谢在这里对结果进行简短的解释。 提前致谢 ...
[英]I keeping the error "error on parsing on input ins"
此代码中的 HMW2types 只是一个包含包类型的所有声明的文件。 我什至从网上复制并粘贴了其他功能,但他们得到了同样的错误。 这个 function 获取一个元素并将其添加到包中。 [2 of 2] 编译 HW2sol ( HMW2sol.hs, HMW2sol.o ) HMW2sol.h ...
[英]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: Keeping track and modifying state with Scotty HTTP API
我可以通过 Scotty API 使用 IO 修改我的 state 吗? 目前,我在 IO monad 中有一个 state 转换器,可以根据用户输入修改 state。 但我想通过 Scotty API 来实现。 这是我目前拥有的 state 转换器类型,我用它来不断修改 state 类型并允许 ...
[英]Where to add a flag in the package.yaml?
我有一个 package.yaml 文件,例如:name: ... version: ... ... flags: strict: ... description: ... ... dependencies: ... ... 大多数是典型的package.yaml ...
[英]Why does the Maybe return type make this crash?
我限制自己使用预内置函数进行培训。 我已将长度重新编码为计数并且有效。 我有一个搜索功能,当给定索引和列表时,它只返回列表中索引处的值。 它工作得很好。 当索引太大时会抛出错误。search [] _ = error "index too large" search (a:_) 0 = a sea ...
[英]Fmapping over functors
假设我有以下代码: 如果我尝试调用fmap (\x-> 3 x) (LiftItOut (+3))它不起作用。 但是,工作没有意义吗? 结果将是LiftItOut (fmap (\x ->3 x) (+3))并且,正如我所看到的,3 将被馈送到 (+3) 并且结果将被包装在LiftIt ...
[英]How do I apply a series of monadic actions to the same argument in Haskell?
Haskell,有没有办法简化下面的代码,去掉“hello world”的重复? 换句话说,将f 、 g和h应用于hello world ? ...
[英]What is the result of this function?
这是我在测试中得到的代码,我想知道 output 是什么: 我是否将数组中的头/第一个数字与 6 (2*3) 或 2 进行比较,然后将总和乘以 3? 正确答案是 18 还是 9? ...
[英]Don't understand this collection class syntax
这与我读过的有关类型类的内容或我习惯的语法不同。 我不明白c key value代表什么。 另外,空应该是什么? 它不像 function。感谢并感谢任何帮助,我是 haskell 的新手,这让我感到困惑 ...
[英]tail recursion to add element to end of list in Haskell
我递归地将这个简单的 function 到 append 元素写到列表的末尾: 它工作正常。 为了练习编写尾递归函数(直到几天前我才知道),我尝试按以下方式编写。 它反向输出我想要的列表。 为什么会发生这种情况我可以理解,但它仍然让我头疼。 为什么会发生这种情况? 像这样遍历列表时会发生一般情况吗 ...
[英]Monad Transformer missing parameter (?)
我有这种类型的别名: 我知道StateT具有* -> (* -> *) -> * -> *类型,因此它应该获得三个参数。 但在上面的示例中, StateT仅接收String和IO -Monad。 现在我想知道缺少的参数传递给StateT的位置。 IO如此,它应该得到一个参 ...
[英]converting a simple recursive haskell function to be tail recursive
2 周新 haskell 和函数式编程。 在 class 中覆盖 foldl 和 foldr 的过程中,我发现我对尾递归很陌生,并且从未真正尝试过编写尾递归 function beofre(对于 foldl 如何遍历它出现的列表也是新的)。 为了练习,我尝试将以下内容重写为尾递归: ...但是 ...
[英]Parallelize computation of mutable vector in ST
如何使在 ST 中完成的计算并行运行? 我有一个需要通过随机访问填充的向量,因此使用了 ST,并且计算在单线程下正确运行,但一直无法弄清楚如何使用多个内核。 由于向量中索引的含义,需要随机访问。 有 n 个事物,在 n 个事物中每一种可能的选择方式在向量中都有一个条目,例如选择 function。这 ...
[英]How can I remove all the boilerplate introduced by Trees That Grow?
我正在尝试在 Haskell 中定义一种编程语言。我希望使 AST 可扩展:AST 模块的用户(例如漂亮的打印机、解释器、编译器、类型系统、语言服务器等)应该能够通过添加新功能和新数据(用于扩展语法的新数据类型以及用于当前数据构造函数的新字段以存储各种组件所需的数据)来扩展它。 我试图通过使用Tr ...
[英]Ad-hoc Polymorphism vs. Data Constructors in Haskell
为一个类型定义不同的数据构造函数,然后使用模式匹配定义函数,这与其他语言中的临时多态性非常相似:data Shape = Circle Float | Rectangle Float Float area :: Shape -> Float area (Circle r) = pi * r^2 ...
[英]Source-level definition of `seq` in Haskell
我在Haskell中尝试理解seq 。我对英文的seq有一些了解,所以现在我想阅读它的实现。 但是, 源代码说infixr 0 `seq` seq :: a -> b -> b seq = seq 我怎么读这个? 这是一个无限递归的定义吗? 不过,我怀疑不是。 ...
[英]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 ...