haskell 相关问题

Haskell是一种函数式编程语言,具有强大的静态类型,惰性求值,广泛的并行性和并发支持以及独特的抽象功能。

Haskell - 查找列表中最小的元素

我有一个函数,它获取一个列表,并且必须返回它的最小元素。 不幸的是我不断遇到这个问题: 模式中的解析错误:最小 我可能做错了什么? 最小::...

回答 6 投票 0

如何将 pandoc-crossref 与 Hakyll 一起使用

我正在尝试使用 Hakyll 来创建一个以学术和数学为主的静态网站。我想使用 pandoc-crossref 来交叉引用方程。 将 pandoc-crossref 包含到

回答 2 投票 0

有谁知道 TikZ 的非 TeX 等效项吗? [已关闭]

到目前为止,我已经使用 Graphviz 以编程方式创建图表和图形。最近,我发现了 TikZ 并且开始喜欢它。然而,对于我的一些预期用途来说,这有点过分了……

回答 2 投票 0

收集错误(而不是短路)直到实际使用值为止

什么是最简单但最优雅的方法来不短路并收集错误直到使用它们的值? 积累错误有什么难的?仅当函数调用重新时才短路...

回答 1 投票 0

Haskell 中点积的简单无点实现的结果类型是什么?

在 Haskell 中,如果转换两个列表的标准点积,例如 点积 :: (Num a) => [a] -> [a] -> a 点积 x y = 总和。 zipWith (*) x y 通过像 pointf 这样的 pointfree 工具...

回答 1 投票 0

使用 Haskell Aeson 设置省略字段的默认值

我使用Aeson接受JSON格式的用户配置,其中一些字段可能会被省略,并且将使用默认值。根据文档我应该写这样的东西: 导入...

回答 1 投票 0

在模式同义词代码中分解出常见常量?

我有一些这样的代码: 新类型 T = T 文本 图案爱丽丝 = T“爱丽丝” 这很好,但我在其他地方使用了“Alice”。所以我决定像这样分解它: 爱丽丝::...

回答 1 投票 0

文献和图书馆中对“零表达符”的抽象使用的名称是什么

在现实世界的应用中,我注意到一种模式可以概括为: 纯脚本: 类泛函子 p <= Zero p where pzero :: forall a b. p a b -- such that `forall f g. d...

回答 1 投票 0

使用模式同义词来抽象文本类型的实现

可以说我有: 新类型动物 = 动物文本 我希望能够像这样进行模式匹配: f :: 动物 -> (布尔,文本) f =

回答 0 投票 0

有没有“每n个时间单位重复一次动作”的动作?

在改进我正在试验的 Haskell 通知服务器时,我想出了这样的东西: 导入 Control.Concurrent (threadDelay) 导入 Control.Monad(永远) 重复每个:: Int -...

回答 1 投票 0

我怎样才能拥有一个值严格的向量,就像带有刘海(!)的普通类型?

Haskell 中的一些常见性能建议是使快速数据结构“严格脊椎”,以便结构(但不一定是其内容)在创建时得到充分评估。这让我们...

回答 2 投票 0

如何避免仅仅因为E依赖于内部库L(而内部库L又依赖于A)而将A列为内部库/可执行文件E的构建依赖项?

我有这样的目录结构 。 ├── Main.hs ├── mynot.cabal ├── 通知.hs └── 服务器.hs mynot.cabal 看起来像这样 阴谋集团版本:3.0 姓名:我的诺特 版本:...

回答 1 投票 0

(,) 的 Foldable 实例有何用处?

我错误地将长度应用于(pa,ir)并花了一点时间才找到答案,因为代码可以编译! 于是我查了一下 :t length,它告诉我它的参数只需要是一个 Fold...

回答 1 投票 0

对于我们拥有本地 git 存储库并进行了一些更改的库,表达对库的依赖关系的最实用方法是什么?

用例是我很难测试使用 Xmobar 0.47.4 提交的修复。 我认为原因是我的 .cabal 文件 可执行的xmobar 构建依赖:基础 ,xmo...

回答 1 投票 0

如何将 `IO ()` 传递给 `main` 才能被认为是纯粹的?

我不太明白如何在编程语言意义上将打印(输出到屏幕)视为纯粹的,但我声称 Haskell 中存在这样的概念。 你创造了一个我...

回答 1 投票 0

Htmx POST 到 haskellservant 处理 FormUrlEncoded 请求中的可选字段

我正在使用 Htmx 将表单发布到 Haskell Servant 端点。端点有一个带有 FromForm 实例的模型。表单中有一个可选字段。如果该字段在 POST 中被排除,则

回答 1 投票 0

在 Haskell 中从多个值返回中提取值是否会多次调用该函数?

为了披露,我对 Haskell 相当陌生,正在弄清楚语法。让我用一个例子来说明我的问题。假设您有一个函数,它返回多个值的元组或一个 d...

回答 1 投票 0

如何在Haskell中实现卡尔曼矩阵?

我正在尝试使用 Numeric.AD 库在 Haskell 中实现可微函数的卡勒曼矩阵。我使用 https://en.wikipedia.org/wiki/Carleman_matrix 作为参考。 到目前为止我已经...

回答 1 投票 0

为什么我在使用 Haskell 通知服务器时从通知发送中收到“意外回复类型”?

按照我的意图,下面的代码是一个正在进行中的Haskell 通知服务器。 然而,即使考虑到这些朴实无华的意图,该程序还是有一个我不明白的错误。 她...

回答 1 投票 0

Haskell 在使用序列运算符后无法推断 monad 的返回类型

以下代码 导入 Control.Monad.Writer 类 Foo c 其中 fromInt :: Int -> c 实例 Foo [Int] 其中 fromInt n = [n] 实例 (Monoid c, Foo c) => Foo (Writer c ()) 其中...

回答 1 投票 0

© www.soinside.com 2019 - 2024. All rights reserved.