haskell 相关问题

Haskell 中的列表到列表

我有一个 CSV 文件，有 2 列，每列有 32100 行。我需要导入这些数据并将每列分成一个列表列表，每个列表有一千个值。例如，让column2_data = [[...

在 Haskell 中根据状态过滤列表

我一直在研究 ListT 的实现，以找到一种好方法来做这样的事情： 函数列表=做 设置 <- get -- Data.Set el <- list guard $ Set.notMember el set return el...

也许或者单子、短路和性能

C++ 中的函数式编程，第 214 页，参考与 Haskell 的 Either 相同的预期 monad，内容如下 [...] 一旦您绑定的任何函数返回...

在 gitlab-ci 中添加 cabal 依赖

我有一个通常使用 nix 和 cabal 构建的项目，但是我也想将我的文档发布到 gitlab 页面上。在 gitlab CI 上运行我的 nix 是不切实际的，所以我一直在使用 cab...

关于选择在何处应用 monad 转换器的 monad 参数

采用 MaybeT monad 转换器： newtype MaybeT m a = MaybeT { runMaybeT :: m (Maybe a) } 我没想到它会有不同的定义，因为 Maybe 只是一个带有 (opti...

未找到 Haskell 调试适配器

我已按照此网站上的说明进行操作：https://www.haskell.org/get-started/ 在 VS code 中设置 haskell。当我尝试运行 haskell 项目时，我收到一条 VS Code 错误消息： haskell-调试-

解析任一类型的列表

我正在为逻辑公式编写一个解析器，但它无法解析 Either 类型的列表。 解析器适用于所有情况，除了将函数替换为谓词之外—— 解析 P(f(x:X)=a:A,b:...

我可以使用 StateT/MaybeT/forever 来消除此 IO 操作中的显式递归吗？

我有一个这样的程序， 开始 :: [Q] -> R -> IO R 开始 qs = 修复 $ ecurse r -> 做 <- select qs (r', exit) <- askQ q r (if exit then return else recurse) r' that

Haskell 模板中带单引号的名称

通常，当使用 Template Haskell 时，绑定和数据构造函数的名称通过在它们前面加上单引号来引用： showName, justName :: 名称 显示名称 = '显示 justName = '只是

多个文件使用相同的模块名称：

当我输入 stack run 时，我没有收到任何错误消息，但是当我输入 stack ghci 时，我收到有关多个文件使用相同名称的错误，我该如何解决它？ （基础）wejden@wejdenaydi:~/wejden$ 堆栈 ghci...

Haskell：有没有更简单的方法来表达函数（ g x y -> f (g x) (g y)）？使用应用性 ((->) r)？

组合子 :: (b -> b -> c) -> (a -> b) -> a -> a -> c 组合器 f g x y = f (g x) (g y) 有没有更简单的方法来表达这个函数？我发现自己经常使用它...

来自惰性 ByteString 的 Massiv 多维数组示例？

我正在处理科学领域的大型数据数组，这些数据数组被编码为二进制 FITS 文件。为了简单起见，假设我将 2GB 的 32 位浮点保存到一个文件中，旨在作为 2d 数组读取，并且...

如何创建一个相当于没有GHC包环境文件？

在没有包环境文件的情况下使用 GHC 时，您将能够使用它附带的多个库，例如容器和文本。但是，当您确实拥有软件包环境时，您可以...

只要我希望对象路径上的导出接口正常工作，我就必须让 DBus.Client.export 的调用者保持活动状态吗？

如果不是，是什么让我导出来实现接口的函数保持活动状态？ 我正在 Haskell 中实现一个通知服务器，目前我有这样的东西， 启动服务器 :: IORef

Haskell FFI 本地 c 标头

我想用FFI调用C单头库。 这是 Nuk.hs {-# 语言 CPP，ForeignFunctionInterface #-} 模块主要在哪里 进口国外 导入外国.C.类型 国外进口ccall...

为了在 a -> ReaderT r IO b 类型的函数中保持状态，我唯一的选择是将 IORef 放入闭包中吗？或者我可以以某种方式使用 StateT 吗？

假设我必须实现一个功能 f :: Foo -> ReaderT Bar IO Baz 我必须传递给消费者（即我将调用 c f） 其中 Foo/Bar/Baz 被强加为函数的使用者，并且

使用`let`可以提高性能？

比较以下两个片段： costFunction :: [整数] -> [整数 -> Bool] 昂贵函数 [] = [const False] 昂贵函数 (x:xs) = 让 temp = costyFunction xs 在[

如何从 REPL 检查给定的约束是否得到满足？

为了探索具有复杂类型和类型类实例的库，我想从 REPL 检查类型类约束是否满足（提供所有相关实例...

如何在阴谋集团项目中组织公共和私人图书馆？

我有一个包含多个模块的项目， 2 个用于导出公共库（A 和 B 各 1 个；在这两个库中，B 是一种后端，由 A 使用，但我导出两个库是因为我认为其中一个......

这个类似棱镜的光学器件叫什么名字，它有什么用处吗？

我目前正在学习 Haskell Lens 包的教程，因此我可以更好地理解底层的数学基础。我正在通过棱镜进行工作。 输入 Prism s t a b = fora...