将自定义数据类型编码为惰性字节字符串
当您想将自定义类型转换为字节字符串时，您将执行以下操作： data Foo = Foo {value1 :: Int} instance Binary Foo where get =liftM Foo get put b =…
无法在 Windows 上安装 Facebook Duckling - Stack Exec 失败
我正在尝试在 Windows 10 上设置 Facebook Duckling。 当我执行：stack exec duckling- example-exe 它会产生以下错误： duckling-example-exe.EXE: /…
有没有办法将 Haskell 二进制文件复制到另一个项目以节省初始构建时间？
我正在学习使用 Plutus 在 Cardano 上构建 DApp，Plutus 是用 Haskell 构建的。 我发现项目的初始 cabal 构建需要相当长的时间，通常需要 30 多分钟，…
Haskell 函数，将值列表和名称列表作为输入，并返回值列表中所有名称使用的公共值
我正在尝试获取一个输入（我将其称为“名称”），并使用它从列表中获取输出“值”，其中“值”是包含给定“名称”的所有列表。例如，如果列表列表为：…
有没有办法定义一个单词是否只有“a”？元音？
我试图在 haskell 上创建一个函数，我知道该函数的定义如下： justWithA : [Char] -> Bool justWithA [] = True justWithA (x:xs) | (x == "a") = x +…
是否可以用纯 Haskell 语言对 GPU 进行编程？
我想知道我是否可以用纯 Haskell 编写应该由 GPU 评估的代码。 例如，GPU 中两个大矩阵相乘的函数（理论上）没有副作用，因此可以从纯 Haskell 函数中…
约束箭头 do 表示法
{-# LANGUAGE RebindableSyntax #-} {-# LANGUAGE Arrows #-} 给定一些约束 Foo，我想在 FooArrow 中使用可重新绑定的箭头 do 表示法：其中类型满足 F…
在 Haskell 中，可变性是否总是必须反映在类型系统中？
我是 Haskell 的新手，所以如果这个问题很愚蠢，请原谅。 想象一下，我们有两个绑定到名称 x 和 y 的数据结构。 x 是可变的。 y 不是。 作为一个问题…
为什么不将输入和输出上具有相同数据结构（相同暗淡）的组合自递归函数与其他递归内联在一起？
在教程 https://markkarpov.com/ tutorial/ghc-optimization-and-fusion.html#fusion-without-rewrite-rules 是一个代码示例，不会通过 fusion 进行优…
Haskell，将函数应用于列表中的每个项目
嘿还有另一个 haskell 问题我有一个类型的函数 f::CSP->作业->变量->整数-> CSP 我想编写一个类型为 g :: CSP -> 的 函数作业->变量-> [Int]-> CSP 将…
在 haskell 中捕获/劫持标准输出
如何定义“catchOutput”以便运行主输出仅“bar”？ 也就是说，如何分别访问 io 操作的输出流（stdout）和实际输出？ catchOutput :: IO a -> IO (a,S…
多元函数的导数和相应的带有向量空间包的雅可比行列式
我的 vector-space 包有问题再次。我在最近的 post，但我只处理了一个仅依赖于 1 个变量的函数。 例如，当我有一个从极坐标映射到笛卡尔坐标的函数 f:…
