Haskell是一种函数式编程语言,具有强大的静态类型,惰性求值,广泛的并行性和并发支持以及独特的抽象功能。
我在Codeforces上遇到一个简单的问题,问题是这样的。我想讨论的不是问题,而是我们使用的语言,在本例中是 Python3 和 Haskell。 详细...
我有一个 SArray Integer Integer,我想向该数组写入 k 次。比如我想调用 writeArray arr 1 10, writeArray arr 2 10, ..., writeArray arr k 10。但是,我不知道ho...
Haskell 中的 Guards 与 if-then-else 与 case
我有三个函数来查找列表的第 n 个元素: nthElement :: [a] -> Int -> 也许 a 第 nthElement [] a = 无 第 n 个元素 (x:xs)一个<= 0 = Nothing | a =...
我无法理解接下来两行代码的工作方式。 ghci> 取 6 [[(i,j) |我<-[2,4]] | j<-[1,3,5]] [[(2,1),(4,1)],[(2,3),(4,3)],[(2,5),(4,5)]] ghci>需要 6 [[(我...
如何让 cabal 从 source-repository-package 中指定的存储库中提取最新版本?
我已将直接来自本地 Git 存储库的依赖项包含在 cabal.project 文件中,如下所示: 包: . 源存储库包 类型:git 位置:/home/chris/example/ 标签: 玛斯...
我正在尝试找到一种更短或更有效的方法将SpMatrix(来自Data.Sparse.SpMatrix)转换为Matrix(来自Data.Matrix)。 使用内置函数,我设法将它们转换为...
我正在尝试用光泽度构建一个简单的游戏,该游戏使用精灵的 BMP 文件,这些精灵在加载后将被动画化并移动。我正在尝试获取其中一些图像以供移动使用...
考虑这个简短的 GHCi 会议: ghci> 导入数据.Ratio ghci> 导入 Data.Word ghci> 128 % 3 + 127 % 3 :: 比率 Word8 253% 9 为什么结果是 253 % 9 而不是 255 % 3 (= 85 % 1)? 那个,
Haskell 中的结构归纳法(取 n . 映射 f)xs = (映射 f . 取 n) xs
如何证明对于每个函数 f 和每个有限列表 xs 以下成立: (取 n . 映射 f) xs = (映射 f . 取 n) xs take :: Int -> [a] -> [a] 取0_=[] 取_[]=[] 取 n (x:...
如何使用 System.Console.ANSI 将字符串包装在转义序列中以使其在终端中着色?
在这里我了解了 System.Console.ANSI,在该文档页面上我读到了“草莓”风味函数,其中我读到了 具有 String 类型并且仅包含转义码...
前一段时间,我用 Haskell 编写了一个数独求解器,就像许多其他人所做的那样 - 这是一个很好的实践项目。它使用一个简单的蛮力算法:找到一个空方块(如果没有空方块
我有一个博客,是使用 Hakyll 静态站点生成器生成的。 Hakyll 使用 Pandoc 的 markdown 解析器,默认情况下,它根据每个标题元素的内容生成 ID。 T...
我有一个博客,是使用 Hakyll 静态站点生成器生成的。 Hakyll 使用 Pandoc 的 markdown 解析器,默认情况下,它根据每个标题元素的内容生成 ID。 那个...
我有以下以连续传递风格编写的 haskell 函数: 导入 Data.Bits ((.|.), shiftR) nextPowerOf2 :: Int -> Int 下一个PowerOf2 0 = 1 nextPowerOf2 x = (去$去$去$去...
我的美味测试套件中有很多测试。目前,stylish 运行所有测试,然后一次性打印出结果,例如 测试 德布鲁因指数 substUnderLambdaClosed:好的
我对阿斯克尔不熟悉。 我必须执行这个函数 parseChar :: Char -> Parser Char > parseChar 'a' " abcd " 只是 ('a', "bcd") > parseChar 'z' " abcd "
我想打印正在测试的属性以及导致失败的参数。因此,我尝试使用转储包中的 Debug.Dump 来解决问题的第二部分。这我...
这是一个关于在我看来是函数式编程中非常常见的模式的名称的问题。 在像 Haskell 这样的纯函数式编程语言中,你经常有一个“outer&q...
我想使用稀疏矩阵和稀疏向量设置稀疏矩阵的列。试图检查相关文件,但我在这部分陷入困境。这可能吗? 如果它有帮助我正在建设......
在一个模块中,我定义了一个类: 类 Monad m => MonadTime m 其中 当前时间 :: m UTC 时间 MonadTime 已导出。 在不同的模块中,我想创建一个实例: -- MonadTime...