Haskell是一种函数式编程语言,具有强大的静态类型,惰性求值,广泛的并行性和并发支持以及独特的抽象功能。
如何使用 Haskell 检查 Linux 文件的文件权限?
如何判断文件所有者是否具有写/读/可执行权限? 我找到了文件模式 http://hackage.haskell.org/package/base-4.10.0.0/docs/System-Posix-Types.h...
有没有办法搜索依赖于包X(对于任何包X)的Hackage包?如果能够找到如何在野外使用软件包的示例来了解其功能,那就太好了……
不安全的强制和更高效的Agda代码(-ftrust-me-im-agda)
在 Agda 邮件列表上,Conor McBride 问道: 有什么办法可以得到 像假设一样的操作 trustFromJust :: 也许 x -> x 它实际上并没有检查 Just 和 G...
我正在尝试使用流进程与后台的某些 REPL 进行通信。它可以是 Python 或任何东西,但在这里我尝试运行 GHCi。我想出了以下代码: 导入数据.Word 导入
是否存在适用于所有两指针问题的两遍扫描算法的 Haskell 推广?
为了使这个问题变得非常精确和客观,我正在寻找除了“用某种多态数字类型替换 Int”之外的任何重要概括。 在这个老问题中,
我在著名的异步库中发现了我想象中的一个有用的函数,当且仅当异常传递一个谓词时,该函数允许线程传播异常 - 类型为
我正在使用具有以下类型的第三方库: 数据 ServicesRequest 请求 contentType res 接受 = ServicesRequest { rMethod :: NH.Method , rUrlPath :: [BCL.ByteString] , rPa...
如何重载 haskell 中的某个运算符以在两侧采用不同的类型?
MRE: Foo 类在哪里 myCons :: 字符 -> s -> s myCons c xs = 实例 (Eq, Show) Foo 其中 (:) x y = x `myCons` y 错误:
我正在尝试生成一个浮动窗口,其屏幕位置将与当前聚焦、平铺或本身浮动的窗口相匹配。 我假设生成命令本身应该驻留在键列表中(...
我是编程初学者,我尝试使用以下代码通过他们的网站安装 GHCup: 卷曲 --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org |嘘 这发生了: 卷曲:(23)F...
在写如何在 Haskell 中进行子类型化时,我想到能够“使用”矛盾的证据(例如 True ~ False)来通知编译器有关 d...
为什么这个 Haskell 闭包不断给出“No instance for (Integral (IO t0))”错误?
亲爱的 StackExchange 专家, 我一直在尝试从《使用 Haskell 进行编程》一书中学习如何用 Haskell 进行编程,并且我在第 5 章中遇到了一个涉及闭包的示例。我尝试过
`seq` 显然是否强制评估整个递归定义的列表,具体取决于它如何加载到 GHCi
最近我一直在试图理解GHC在评估seq时到底强制了什么。假设我保存以下定义: f :: Int -> [Int] -> [Int] f = -> s -> 如果...
我想要一个接受参数并返回 Maybe 值的函数。如果参数的类型为 Maybe a,则实现应该是 id,如果参数是其他类型,则实现...
我想要一个接受参数并返回 Maybe 值的函数。如果参数的类型为 Maybe a,则实现应该是 id,如果参数是其他类型,则实现...
我正在尝试在 haskell 中为链表枚举数据类型编写 Monad,但我不明白为什么我的绑定函数 (>>=) 在 ghci 中出错。 数据 LL a = 哨兵 |节点 a (LL a)
我正在尝试使用以下代码进行正则表达式替换 导入文本.RE.替换 导入 Text.RE.TDFA.String onlyLetters :: 字符串 -> 字符串 onlyLetters s = ReplaceAll "" $ s *=~ [re|$(...
数据水果 = Apple Int |香蕉色国际 数据颜色 = 红色 |绿色的 让篮子 = [苹果 3,香蕉红 30,苹果 6] 目标是只保留香蕉 如何
我正在尝试编写一个简单的 Haskell 函数来区分空列表和非空列表。这是我的代码: didVsItems :: [Int] -> IO () didVsItems [] = putStrLn "完成&qu...
我正在浏览现实世界的 Haskell,并找到示例: -- 文件:ch04/InteractWith.hs -- 将其保存在源文件中,例如交互.hs 导入系统环境(getArgs) 交互功能...