Haskell是一种函数式编程语言,具有强大的静态类型,惰性求值,广泛的并行性和并发支持以及独特的抽象功能。
在C中,如果我想将一个int除以2,x%2应该和(x%10)% 2一样快 因为好的编译器只会查看最后一位。但是对于具有无限精度算术的语言呢? 在
Haskell 帮助理解这个 State monad 代码:runState 定义在哪里?
我是 Haskell 新手,正在尝试理解 monad。我将通过这段代码 将其放在这里以供快速参考 newtype State s a = State { runState :: s -> (a,s) } 实例 Monad(状态 s)
当前(2024)安装并运行 Yi (Haskell) 文本编辑器的方式是什么?
Yi 项目自 2017 年以来似乎处于休眠状态。在 https://github.com/yi-editor/yi 上,[并非如此]最近的问题报告仍未得到答复。在此期间,ghc 工具和 hackage 内容不断发展。最新问题
考虑以下 GADT,引脚: {-# 语言 GADT、KindSignatures、DataKinds #-} 模块Mcu在哪里 导入数据.Kind(类型) 导入GHC.Num.Natural(自然) 数据 Pin:: 自然 -> 输入其中
这一定是非常愚蠢的事情。我刚刚开始玩 scotty,无法正确提供静态内容。 导入 Network.HTTP.Types 导入 Web.Scotty 导入合格的Data.Text ...
是否可以在不使用任何外部工具的情况下从跨平台 Haskell 程序播放 WAV 音频文件?
我读过一些这样的问题: 使用 Haskell 播放 wav 文件,如何从 Haskell 代码播放音频文件,跨平台,在 Haskell 中播放声音样本的最简单方法是什么?,声音库 haske...
我一直在尝试按照此处找到的教程使用 GHC API 进行一些基本的动态代码编译。 这段代码: 导入GHC 导入 GHC.Paths 导入 DynFlags 导入 Unsafe.Co...
按照此处发布的 GHC 教程并根据我之前提出的堆栈溢出问题中的建议对此代码进行更改,我创建了一个能够编译和运行 m...
基准测试显示,谷物库反序列化我的数据结构(详细信息如下)所需的时间比从驱动器读取相同数据所需的时间长 100 倍: 基准测试 阅读 意思是:465...
是否可以在包含多行字符串文字的 Haskell 代码上使用 CPP 扩展? Haskell 还有其他条件编译技术吗? 例如,让我们看一下这段代码: --...
我已经在 Windows 10 上使用 WSL2 在 WSL Ubuntu 上安装了堆栈。安装成功完成,但是当我使用以下命令测试堆栈时 堆栈路径--local-bin 我收到以下错误消息: 写...
我想在 Haskell 中进行一些屏幕抓取(来自 Netflix),但该网站需要 cookie 登录状态,因此大多数示例都使用浏览器自动化来要求登录的浏览器执行...
Haskell 安装 Euterpea 的依赖项时出现问题,HCodecs 没有跳过对安装的更高版本的版本检查
今天安装Euterpea时,我发现HCodecs-0.5.1(Euterpea的依赖项)总是会失败 所以我去 Hackage.Haskell.org,检查 HCodecs 是否提供了最新版本:
使用 Cassava 和 Attoparsec 解析自定义字段
我有一个 CSV,其中包含我必须解析的单位值的字段。举个简单的例子: 数据 EValue = 法拉 Double |双微法 |皮法双倍 因此我需要解析
此处 OverloadedLabels 的 GHC 文档显示了如下示例 前导大写字母:#Foo 相当于 getLabel @”Foo” getLabel 应该是 fromLabel 吗? AFAIK getLabel 用于创建未命名
我想使用 Data.MemoCombinators 计算 Ackermann 函数的 A(3, 20) 值(参见维基百科),该值应该是 2^23 - 3 = 8388605。我的代码是: {-# 语言 BangPatterns #-} 导入...
我正在用 Haskell 编写一个编译器,试图避开词法分析和解析阶段。我希望源代码是作为代数类型实现的 AST。 我当前的结构如下:...
幻像类型使模式匹配无可辩驳,但这在 do 表示法中似乎不起作用
请看代码。 我相信使用幻像类型使得模式匹配无可辩驳,因此不需要 MonadFail 实例。 {-# 语言数据种类 #-} {-# 语言 GADT #-} {-# 选项...
我有一个 json 文件,其中包含(除其他外)一个大型多精度浮点数嵌套数组。每个浮点数都是带引号的数字字符串,例如“3.
如何理解 Monad 中的 <- in Haskell's do notation with an uncommon ">>=" 实现?
我是一名 C++/Rust 程序员,出于好奇,我目前正在学习 Haskell。正如所料,我在尝试理解 Monad 时遇到了一些障碍: 我已经读过定义...