Haskell是一种函数式编程语言,具有强大的静态类型,惰性求值,广泛的并行性和并发支持以及独特的抽象功能。
我目前正在学习 Church 编码,并且正在尝试实现 mul(乘)函数。 这是正确的实现 mul cn cm = x -> cn (cm f) x 这(我的实现)...
我对Haskell很陌生,我正在尝试创建一个函数来生成有限数字数组,同时考虑到一些开始和结束边界。如果我使用以下功能...
我正在尝试通过强化学习在 Haskell 中编写 GridWorld 模拟。我被困住了,因为我一直陷入第 109 行的无限循环。我已经盯着这个问题一周了,一个......
我正在尝试了解 Haskell 的 Megaparsec 库中许多人的行为。我本以为许多人在输入解析器失败时会返回一个空列表,但这似乎不是......
haskell 函数:我编写的 pytri 是一个采用整数值 n 的推导式 作为输入并返回所有三元组 (a, b, c) 的列表,其中 a, b, c ≤ n 满足毕达哥拉斯 t...
haskell 函数:我编写的 pytri 是一个采用整数值 n 的推导式 作为输入并返回所有三元组 (a, b, c) 的列表,其中 a, b, c ≤ n 满足毕达哥拉斯 t...
haskell 函数:我编写的 pytri 是一个采用整数值 n 的推导式 作为输入并返回所有三元组 (a, b, c) 的列表,其中 a, b, c ≤ n 满足毕达哥拉斯 t...
当我运行代码时: 导入 Control.Applicative 导入控制.并发 导入Control.Monad 导入网络.Socket 导入系统.环境 导入系统.IO 导入数字 (showHex) 进口品质...
为什么我不能定义这个模式同义词? 模式 双 a = (a,a) 错误: • “a”的定义相互矛盾 绑定时间: :1:21 :1:23 ...
haskell中的变量名需要小写,但是 如果我们要存储 g = 9.8 和 G = 6.67300 × 10-11 (在以下场景中),如何在 .hs 文件中声明变量? 传统物理学家
当我运行代码时: 导入 Control.Applicative 导入控制.并发 导入Control.Monad 导入网络.Socket 导入系统.环境 导入系统.IO 导入数字 (showHex) 进口品质...
GitHub Autograder Tasty 处理写入异常
我正在 Tasty 中为 GitHub 的自动评分器对以下 Haskell 函数进行单元测试: countLetters :: IO [整数] 计数字母 = 做 putStr "第一个条目:" x <-
我正在讨论多态性,我正在尝试了解这种功能的实际用途。 我对Rank 2的基本理解是: 输入 MyType = ∀ a。一个 -> 一个 子函数 :: a -> a 子功能 el ...
我正在尝试解析 Haskell 中的表达式。我已经可以使用在 dhall 项目中找到的下面的代码解析二进制表达式,但我没有正确理解它。这里是: makeOperator::
我正在尝试在 Haskell 中打印列表列表。这是我之前为两个子列表成功完成的事情,但我不记得所有步骤,而且我还没有看到任意数字的东西......
语言中出现递归类型时是否需要折叠和展开?我正在阅读 Benjamin C. Pierce 所著的《类型和编程语言》一书。第 4 节“递归类型”介绍
为 Github 自动评分器实现 I/O Tasty-Hunit 测试
我接到的任务是为 GitHub 的自动评分器和 Tasty 的 IO 函数实现测试。函数代码如下: countLetters :: IO [整数] 计数字母 = 做 putStr...
关于 Monad Transformer Stack pipeline 中不同步骤的不同要求
我在之前的一个问题中接受的激光聚焦答案既令人费解又具有启发性,就在我重新打开我的 Real World Haskell (多好的一本书!)并决定额外阅读
我正在尝试构建一个基于 gitlib 的应用程序,并希望使用此类型签名编写一些附加函数:MonadGit r m => m [RefName]。和gitlib自带的listReferences一样,所以...
我想使用标准对具有两个输入的函数进行基准测试。然而,根据标准进行基准测试的函数似乎只能接受一个输入。我对 Haskell 还很陌生,我确信...