haskell 相关问题

Maybe a -> Maybe a 有多少个函数？

在用 Haskell 进行函数式思考（第 45 页）中，Richard Bird 说有 6 个类型为 Maybe a -> Maybe a 的函数，尽管他只提到了五个。 应用于 Nothing 的函数只能返回

从“树路径”列表中构建森林

从“树路径”列表开始，例如： [[“a”、“b”、“c”]、[“a”、“b”、“e”]、[“f”、“g”]] 我会...

为什么`fromDouble`不是`Num`的方法？

假设我将 Pair 定义为 数据对 num = 对 num num Pair 像平常一样实现 Num。 实例 (Num num) => Num (Triple num) 其中 (对 x1 y1) + (对 x2 y2) = 对 (x1 + ...

在 C# 中使用 Monad 的引人注目的场景是什么

首先声明我对 Monad 的理解还很幼稚。我在这里阅读了有关 Monad 的各种帖子，并对这个概念进行了几个小时的研究。我几乎感觉不舒服...

将元素的实例提升到具有功能依赖性的类型级列表实例

假设我有一个 Coproduct 数据类型，其构造函数具有 Coproduct :: [*] -> * 类型。我也有课 MyFun 类 x | x -> s 其中 myFun :: s -> x 每当我有

在 Haskell 中实现 Parser 的替代实例

我一直在学习 CIS 194 Haskell 课程 (https://www.seas.upenn.edu/~cis1940/spring13/lectures.html)，但一直停留在 HW 10 上。我无法去网上寻找解决方案。任何...

如何创建索引数据类型的元素列表，其长度取决于索引

我正忙于使用引入索引数据类型的库来形式化定理。为简单起见，我们可以将其视为 data idx (n : ℕ) 的形式。 现在我想创建一个元素列表...

在 Haskell 中，关于尾递归，使用返回布尔值的防护和使用 (||) 运算符之间有区别吗？ [已关闭]

我们以下面的函数为例： findWord :: [[Char]] -> [(Int, Int)] -> (Int, Int) -> String -> Bool findWord _ _ _ [] = True -- 找到单词

Haskell类型的具体数据构造函数

SO是一场狗屎秀。感谢您的搭车。

Haskell 的 `!?` 运算符的摊余时间复杂度是多少？

文档说： 列表索引（下标）运算符，从0开始。如果索引越界，则返回Nothing 这是部分的完全变体！操作员。 警告：此功能...

多次 FFI 调用具有副作用的 Haskell 函数

我想编写一个Haskell函数，它接收一个向量并返回另一个大小相同但延迟一定数量的样本d（在开始处添加零）的向量。因为产生的vec...

VS Code 终端中的可执行 GHCI 中的 CPU 类型错误

我正在努力解决这个问题：几天前我已经在 Visual Studio Code 中安装了所有 haskell 扩展来研究它。今天我打开了程序，当我尝试启动 ghci 时，vs

在 Haskell 中的递归函数中，返回布尔值的防护是否比 Or (||) 运算符更可取？

我们以下面的函数为例： findWord :: [[Char]] -> [(Int, Int)] -> (Int, Int) -> String -> Bool findWord _ _ _ [] = True -- 找到单词

为什么 GHC Haskell 中的无效构造函数需要两个机器字？

我在GHC 中尝试了closureSize# 原语。在这里，我定义了我使用的辅助函数（x 被强制使用 bang 模式，所以我测量的应该是数据构造函数闭包它们......

递归函数式编程问题没有意义

问题是： 函数 Z [] = 0 函数Z[x:xs] = x + 2 * 函数Z(xs) 通过写入传递给每次调用的参数值来完成下表 函数Z 和价值

Haskell 中是否有一个函数可以将 Char 的 ord 再次更改为相同的 Char？

Haskell 中是否有一个函数可以将 Char 的 ord 再次更改为相同的 Char？ 例如： 顺序 'a' ----> 'a'

包含 `Eq a` 但不包含 `Ord a` 的类型

在（理想化的）Haskell 中，是否存在一个具体类型 a 使得我们可以合法地实现 Eq a，但不可能实现 Ord a？该顺序不需要有意义，并且任何...

如何在 Haskell 中替换 Char 一定次数？

如何在 Haskell 中替换 Char？ 我需要一个将一个 Char 更改为另一个 Char 的代码，将相关 Char 替换多次。 例如 替换（d：Char，n：Z）：Char 输入：d = 'b'，n = 3

如何在Hsakell中替换Char？

如何在Hsakell中替换Char？ 我需要一个将一个 Char 更改为另一个 Char 的代码，将相关 Char 替换多次。 例如 替换（d：Char，n：Z）：Char 输入：d = 'b'，n = 3

检查 Haskell 中的 Char 是否为小写

Haskell 中的代码会是什么样子，程序用布尔值告诉你 Char 是否为小写。 isItLowercase (e: Char) : Bool 我需要使用最简单的功能。