cost 178 ms
为什么将数据重构为 newtype 会加速我的 haskell 程序？
我有一个程序，它遍历一个表达式树，它对概率分布进行代数，采样或计算结果分布。 我有两种计算分布的实现：一种（ computeDistribution ）可以很好地与 monad 转换器重用，另一种（ simpleDistribution ）我手动将所有内容具体化。 我不想手动具体化所有内容，因为那 ...
Haskell 中的素数分解以返回给出数量和幂的元组列表
我一直在尝试通过做一些简单的问题来学习haskell。 问题 目前，我正在尝试实现一个函数primeFactorization :: Integer -> [(Integer, Integer)]使得输出是一个包含素数因子的元组列表以及它在数字中的幂。 示例输出 > primeFac ...
如何提取定界延续（重置/移位）以供将来在 Haskell 中使用？
以下是使用定界延续（重置/移位）的简单示例： 它运作良好。 但是，我想将延续k提取为纯函数以供将来使用，而不是仅在 shift 中调用它。 例如，我希望test2可以返回k ： 但 GHC 抱怨： 任何人都可以帮助我解决这个问题吗？ 谢谢。 ...
卡尔达诺的这个函数定义中使用的语法是什么？
如何解释这个函数： 我以为friendlyValidityRange函数利用了偏函数的概念，但还是没能理解。 friendlyValidityRange的era和(lowerBound, upperBound)参数如何以这种分离的方式传递？ 我尝试使用follow demo模仿它，仍然无法完 ...
等效于 OCaml 中 Haskell 的 $ 运算符
OCaml 中是否有等效于 Haskell 的$运算符，还是我必须依赖括号？ 参见例如， multiplyByFive 5 + 1 = 26 但 multiplyByFive $ 5 + 1 = 30 ...
Haskell 1级问题，感谢您的回答
我是 Haskell 的新手，因此需要一些帮助，我想这对你们来说很容易。 我正在尝试制作一个与使用“!!”功能相同的功能对于索引，但索引应该从 1 到列表的长度。 这就是我到目前为止所拥有的，帮助功能“numberList”和主要功能“ele” 最终结果应如下所示： ele 1 [1,2,3 ...
通过为haskell中的元素获取相同索引的元组列表
我一直在尝试在haskell中解决以下问题： 生成一个元组列表 (n, s)，其中 0 ≤ n ≤ 100 且 n mod 2 = 0，其中 s = sum(1..n) 输出应该是列表 [(0,0),(2, 3),(4,10),...,(100,5050)] 来源 我尝试使用以下代码解决问题 ...
在 Haskell 中加倍列表（列表中的数字）
其他人可以在 Haskell 中编写此代码吗：加倍数字数字需要加倍，为此可以定义以下函数： 函数doubleDigits必须从右边开始每隔一个数字加倍。 倒数第二个数字首先加倍，然后是倒数第四个，...，依此类推。 ...
如果我依赖它们，是否可以 eta （或以其他方式）减少参数？
我正在解决一个超级简单的问题，并得出了这段代码。 我觉得应该有一种方法可以消除areaOrPerimeter中的参数x和y 。 但我找不到办法做到这一点。 有可能以某种方式摆脱它们吗？ 我有一种强烈的感觉，这应该是可能的。 ...
在 Raku 中，如何编写等效于 Haskell 的 span 函数？
在 Raku 中，如何编写等效于 Haskell 的span函数？ 在 Haskell 中，给定一个谓词和一个列表，可以将列表分成两部分： 满足谓词的元素的最长前缀 列表的其余部分 例如，Haskell 表达式…… ……评估为…… 如何编写与 Haskell 的span函数等 ...
如何查找以给定前缀开头的字符串列表的字符串？
我想编写一个可以返回字符串列表的辅助函数 这应该返回 我在Data.List中搜索并找到isInfixOf函数可以比较两个字符串，但是我如何递归调用来找到正确的字符串列表 ...
Phantom 类型使模式匹配无可辩驳，但这似乎在 do 表示法中不起作用
请看代码。 我相信使用幻像类型会使模式匹配无可辩驳，因此在MonadFail实例中不需要。 但我收到此错误： 这种方法有什么问题？ 我用 ghc 9.0.2 和 8.10.4 对此进行了检查。 顺便说一句，即使存在-Wincomplete-uni-patterns选项，在let中匹配它也 ...
如何在没有脚手架结构的 Yesod 上设置“cors”？
在 yesod https://github.com/yesodweb/yesod-cookbook/blob/master/cookbook/Allowing-WOFF-fonts-to-be-accessed-from-other-domains-%28CORS%中有关于启用CORS的明确文档2 ...
在 Haskell 中编写 lambda 演算高阶递归方案
[我在这里有新的理由，可能有一些模棱两可] 考虑递归器（它是对更高类型的原始递归的概括） 其中 R 是 sigma 类型，A 是 sigma 类型，B 是 sigma -> N -> sigma 类型，C 是 N 类型。 如果我们将 sigma 的类型设为自然数，则递归是原始递 ...
在类型类约束中使用 `TypeError` 时避免 `undefined`
我有一个像这样的类型类实例： instance {-# OVERLAPPABLE #-} (TypeError ( 'Text "Some error")) => SomeClass x where someMethod = undefined 此实例存在于其他（有效）实例的末尾。 这 ...
Haskell：如何使用正确的退出代码从命令行参数向用户报告验证错误
我正在使用getOpt来解析和验证getArgs提供的参数。 我选择对getOpt使用基于动作的方法，这里是类型。 data Options = Options { afield :: foo, bfield :: bar} type Action = Either String (Options ...