如何避免查找中的类型不匹配？

[英]How to avoid type mismatches in lookup?

我正在尝试在 Haskell 中编写线性插值： 但我收到此错误： 我真的不明白发生了什么，因为查找类型是这样的： 聚苯乙烯 y1, x1, x2 同样的问题 ...

“无法为 ghc libdir 加载 cradle”

[英]"Couldn't load cradle for ghc libdir"

我正在尝试使用 VS 代码设置 haskell-language-server。 我的项目设置与大多数 haskell 项目不同，其中工作区根（项目根）不包含 haskell 项目。 相反，haskell 项目位于haskell/子目录中。 我已经使用implicit-hie生成hie.yaml并 ...

Haskell - 如何将元组列表写入文本文件

[英]Haskell - How do I write a tuple list to a text file

我从 .txt 获取文本，对其进行处理。 我从文本中得到元音和它们的数量。 我无法将元组列表 [(Char, Int)] 写入文本文件。 我想让每一行都有一个字母和它的编号，但我根本不会写。 ` 它给出了一个错误： ...

Haskell 从空间分隔的整数输入快速构建向量

[英]Haskell fast construction of vector from input of space separated ints

如果我希望用户输入的字符串中包含空格分隔的整数（已知预期整数的数量），我可以像这样在 haskell Data.Vector 中传输它： 但我想尽可能快地执行此操作，没有中间列表，在这种情况下构造 Vector 的最快方法是什么？ 附言。 我正在考虑循环 getChar + replicateM 但 ...

Haskell - GHC 中输入`|" 的解析错误

[英]Haskell - Parse Error on Input `|" in GHC

我刚开始使用 Haskell 编程，为了习惯这种语言的语法和一般风格，我决定尝试解决 Project Euler 上的一些基本问题。 然而，当我试图在 GHC 中编译问题 1 的代码时，我收到了一个错误： 有问题的错误消息： 在这里遇到这个或类似问题的其他用户通常在他们的代码中有一些语法简单的错误， ...

YesodAuth Google OAuth2 超时

[英]YesodAuth Google OAuth2 timing out

赏金将在 2 天后到期。 此问题的答案有资格获得+50声望赏金。 gust想提请更多人注意这个问题。 我正在尝试根据本书为我的 Yesod 网站设置身份验证和授权。 但是，一旦我设置了我的 Google OAuth2，我就会超时： 我尝试改用yesod-auth-oauth2 ，但仍然出现超时错 ...

为什么我的 Semigroup/Monoid 实例重叠？

[英]Why is my Semigroup/Monoid instance overlapping?

我正在尝试实现一种延迟构造非确定性有限自动机 (NFA) 的方法。 我几年前在 F# 中做过这件事，现在想在利用Monoid类型类的同时尝试使用 Haskell。{-# LANGUAGE TypeSynonymInstances, FlexibleInstances #-} module NFA ...

递归返回类型为 Either 的 haskell 函数

[英]Recursion on a haskell function with an Either return type

我正在尝试根据 Haskell 中 Map 的查找结果构建一个字符串。 到目前为止，这是我的代码：import qualified Data.Map as Map toRNA :: String -> Either Char String toRNA [] = Right "" toRNA ...

在 Haskell 中将文件转换为 ByteString 文字

[英]Converting a file into ByteString literal in Haskell

假设我有一个由非平凡操作生成的复杂对象。 我可以将该对象序列化为 ByteString 并将该 Bytestring 写入文件。 然后我可以打开该文件并将其反序列化回同一个复杂的对象。 现在我想在 Haskell 代码中对该文件的内容进行硬编码，这样我就可以在不处理 IO 的情况下“打开”该文件。 ...

通过 ExceptT 实现 MonadError

[英]Implementing MonadError through ExceptT

可以合理地实现MonadError抛出一个新类型包装ExceptT吗？ 到目前为止我有： 我知道catchError = const会编译，但这不是我想要做的。 我基本上（认为我）希望catchError在ExceptT是“ Right ”的情况下表现得像catchError在底层 monad 上 ...

Haskell 类型挑战

[英]Haskell Types Challange

我正在尝试从 w3c 规范到 Haskell 类型系统。 作为 Haskell 的新手，我有点不知所措。 有人能帮忙吗？ 我有一个名为Atom的数据类型，它定义为 我想要一个 IRI 类型，它在Atom和bnode中强制执行atomType = "iri"和atomType = "bnode"等 ...

按升序返回所有可能的数字列表，其中第一个元素来自 xs，第二个元素来自 ys -- Haskell

[英]Return all possible lists of numbers in ascending order for which the first element is from xs, the second element is from ys -- Haskell

如果有人可以帮助我完成这项任务，我将不胜感激。 让两个整数列表 xs 和 ys 按升序给出。 定义一个函数 它以升序返回所有可能的数字列表，其中第一个元素来自 xs，第二个元素来自 ys，等等。这些列表中的每一个的最后一个元素必然是来自 ys 列表的数字。 例子： 这是我到目前为止所做的，但并不适 ...

Cabal v2-build：架构 x86_64 的未定义符号

[英]Cabal v2-build: Undefined symbols for architecture x86_64

Cabal 突然停止构建我的项目。 自上次成功构建以来，项目本身没有太大变化，我猜只安装了操作系统更新。 我在cabal v2-build上遇到的错误是： 此外， cabal repl也停止工作： 我在ghc 8.10.7 , macOS Monterey 12.6.1 和cabal --vers ...

haskell 是否有等同于 rust 的 if let pattern = mightMatch 语法？

[英]Does haskell have an equivalent to rust's if let pattern = mightMatch syntax?

在铁锈中，我们可以说例如if Some(inner_val) = option { ... } haskell 有等价物吗？ 我会给出一些背景信息，以防这看起来像一件愚蠢的事情（请随时告诉我它是）。 我正在阅读管道自述文件并在进行过程中进行练习。 一个指示读者“实现一个 peek 函数，从上游 ...

如何指示 Haskell 包处于 alpha/beta/release candidate 阶段？

[英]How do indicate that a Haskell package is in either an alpha/beta/release candidate stage?

假设我已经在 haskell 库上工作，现在准备发布该软件的测试版以在 github 等上进行黑客攻击/公开回购。 可能的解决方案以及为什么它们对我不起作用使用packagename-0.0.0.1-alpha或类似的。 这里的问题很简单： Haskell PVP 规范不允许：（粗体是我） 版本号 ...

尝试在 GHC 错误上运行 Haskell 文件

[英]Attempting to run Haskell File on GHC error

尝试将 Haskell 文件 test.hs 加载到终端时。 我得到这样的回应： 这是来自 test.hs 的代码： 如何让文件加载到终端？ openai 说查找文档或可能需要导入模块？ ...

定义一个函数，该函数将给定列表的所有可能排列作为对列表返回

[英]Define a function that returns all of the possible permutations of the given list as a list of pairs

我是 Haskell 的新手，遇到了一个让我难过的工作表问题。 问题是要求我定义一个函数，它接受一个元组列表，每个元组包含一个数字子列表并返回一个元组列表，每个元组包含一对整数。 这是预期的输入和输出。 我正在尝试使用“Data.List”库中的“排列”函数以及我在下面制作并附加的另外两个函数。 ...

结合 StateT 和 ExceptT monad 转换器

[英]Combining StateT and ExceptT monad tranformers

我有以下小工作程序： 现在我想在我的函数checkFoo的子函数doFoo中访问 State Monad 的值。 例如： 我收到以下错误： 为什么这不起作用？ 要使这项工作有效，需要进行哪些必要的更改？ ...

在 Haskell 中正确使用带有中缀的 chainl1

[英]Using chainl1 correctly with infix in Haskell

对于下面的 MVE 代码，它输出[]而不是预期的Not (Oper Eq 2 2))输入parseString "2+2"应该调用pOper 。 我的猜测是pOper期望匿名函数的三个参数起作用。 那是3个字符串。 然而，由于函数的部分调用，只有一个参数被传递。 有没有办法在处理Not的同时保留p ...

是否可以更富有表现力地使用 Maybe？

[英]Is it possible to work with Maybe more expressively?

大家新年快乐，我想写这样的东西，但是我知道 find 可以返回 Nothing ，有没有比通过Just and Nothing更好的写法？ ...