haskell 相关问题

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

如何使用 Haskell 检查 Linux 文件的文件权限?

如何判断文件所有者是否具有写/读/可执行权限? 我找到了文件模式 http://hackage.haskell.org/package/base-4.10.0.0/docs/System-Posix-Types.h...

回答 1 投票 0

搜索 Hackage 的反向依赖

有没有办法搜索依赖于包X(对于任何包X)的Hackage包?如果能够找到如何在野外使用软件包的示例来了解其功能,那就太好了……

回答 2 投票 0

不安全的强制和更高效的Agda代码(-ftrust-me-im-agda)

在 Agda 邮件列表上,Conor McBride 问道: 有什么办法可以得到 像假设一样的操作 trustFromJust :: 也许 x -> x 它实际上并没有检查 Just 和 G...

回答 1 投票 0

在Haskell中使用streamly在后台运行REPL

我正在尝试使用流进程与后台的某些 REPL 进行通信。它可以是 Python 或任何东西,但在这里我尝试运行 GHCi。我想出了以下代码: 导入数据.Word 导入

回答 1 投票 0

是否存在适用于所有两指针问题的两遍扫描算法的 Haskell 推广?

为了使这个问题变得非常精确和客观,我正在寻找除了“用某种多态数字类型替换 Int”之外的任何重要概括。 在这个老问题中,

回答 1 投票 0

使用异步库中的 `linkOnly` 示例

我在著名的异步库中发现了我想象中的一个有用的函数,当且仅当异常传递一个谓词时,该函数允许线程传播异常 - 类型为

回答 1 投票 0

类型具有构造函数的模式匹配

我正在使用具有以下类型的第三方库: 数据 ServicesRequest 请求 contentType res 接受 = ServicesRequest { rMethod :: NH.Method , rUrlPath :: [BCL.ByteString] , rPa...

回答 1 投票 0

如何重载 haskell 中的某个运算符以在两侧采用不同的类型?

MRE: Foo 类在哪里 myCons :: 字符 -> s -> s myCons c xs = 实例 (Eq, Show) Foo 其中 (:) x y = x `myCons` y 错误:

回答 1 投票 0

XMonad,在聚焦窗口上方生成浮动窗口

我正在尝试生成一个浮动窗口,其屏幕位置将与当前聚焦、平铺或本身浮动的窗口相匹配。 我假设生成命令本身应该驻留在键列表中(...

回答 1 投票 0

如何修复安装 GHCup 时出现的错误?

我是编程初学者,我尝试使用以下代码通过他们的网站安装 GHCup: 卷曲 --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org |嘘 这发生了: 卷曲:(23)F...

回答 1 投票 0

如何使用矛盾证据?

在写如何在 Haskell 中进行子类型化时,我想到能够“使用”矛盾的证据(例如 True ~ False)来通知编译器有关 d...

回答 2 投票 0

为什么这个 Haskell 闭包不断给出“No instance for (Integral (IO t0))”错误?

亲爱的 StackExchange 专家, 我一直在尝试从《使用 Haskell 进行编程》一书中学习如何用 Haskell 进行编程,并且我在第 5 章中遇到了一个涉及闭包的示例。我尝试过

回答 1 投票 0

`seq` 显然是否强制评估整个递归定义的列表,具体取决于它如何加载到 GHCi

最近我一直在试图理解GHC在评估seq时到底强制了什么。假设我保存以下定义: f :: Int -> [Int] -> [Int] f = -> s -> 如果...

回答 1 投票 0

确保您的值包含在 Maybe 中的函数

我想要一个接受参数并返回 Maybe 值的函数。如果参数的类型为 Maybe a,则实现应该是 id,如果参数是其他类型,则实现...

回答 1 投票 0

Haskell - 确保您的值包含在 Maybe

我想要一个接受参数并返回 Maybe 值的函数。如果参数的类型为 Maybe a,则实现应该是 id,如果参数是其他类型,则实现...

回答 1 投票 0

Haskell 链表 Monad

我正在尝试在 haskell 中为链表枚举数据类型编写 Monad,但我不明白为什么我的绑定函数 (>>=) 在 ghci 中出错。 数据 LL a = 哨兵 |节点 a (LL a)

回答 1 投票 0

如何在 Haskell 中表述正则表达式模式?

我正在尝试使用以下代码进行正则表达式替换 导入文本.RE.替换 导入 Text.RE.TDFA.String onlyLetters :: 字符串 -> 字符串 onlyLetters s = ReplaceAll "" $ s *=~ [re|$(...

回答 2 投票 0

如何使用遍历删除列表中的特定值构造函数

数据水果 = Apple Int |香蕉色国际 数据颜色 = 红色 |绿色的 让篮子 = [苹果 3,香蕉红 30,苹果 6] 目标是只保留香蕉 如何

回答 1 投票 0

GHC 警告:尽管空列表上显式匹配,但列表的非详尽模式匹配

我正在尝试编写一个简单的 Haskell 函数来区分空列表和非空列表。这是我的代码: didVsItems :: [Int] -> IO () didVsItems [] = putStrLn "完成&qu...

回答 1 投票 0

编译时“无法执行带符号的 4 字节重定位”

我正在浏览现实世界的 Haskell,并找到示例: -- 文件:ch04/InteractWith.hs -- 将其保存在源文件中,例如交互.hs 导入系统环境(getArgs) 交互功能...

回答 2 投票 0

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