如何在非 IO 函数中使用 IO 操作的结果？
[英]How can I use the result of an IO action in an non-IO-function?
这个 function 接受一个文件路径并返回文件的内容。 该文件包含一些相同长度的行。 ——曾经是一张原始图。 现在我尝试实现 function 来垂直翻转“图片”： 但我只得到以下错误代码： 如何在 parsePicture 的结果上使用我的 function flipVertical？ ...
`Data.Text.Encoding.decodeLatin1` 的倒数？
[英]Inverse of `Data.Text.Encoding.decodeLatin1`?
是否有 function f:: Text -> Maybe ByteString这样的 forall x ： 请注意， decodeLatin1具有签名： 我担心encodeUtf8不是我想要的，因为我猜它所做的只是将 UTF-8 字符串转储为 ByteString，而不是反转decode ...
如何使用 Parsec 正确阅读停用词？
[英]How to properly read to stop words with Parsec?
我不知道如何用 parsec 阅读文本到停用词，我知道你可以做这样的事情 但是随后 parsec 将移动回车并且 stop_word 不再可读，我读了一些关于lookAHead的内容，但我不明白它是否适用于此处聚苯乙烯顺便说一句，这个例子也不起作用， anyChar会吸收 stop_word ...
为什么“Int -> Int”与“Int x => x -> x”不同？ 在这种情况下，第二个示例无效，对吗？
[英]Why is "Int -> Int" not the same as "Int x => x -> x"? In this case the second example is invalid, correct?
为什么这两个类型定义不等价？ 另外，为什么“Num a => a -> a”不等同于“Num -> Num”？ 在这种情况下，第二个示例无效，对吗？ 我假设它与 Num 是Class和 Int 是Type有关，但我不清楚Class和Type之间的区别是 Haskell 以及它们之 ...
做关联“数据项”的优雅方式
[英]Elegant way to do associated "data items"
我正在尝试关联ContentType的“数据项”及其内容：data ContentType = MyInt | MyBool deriving ( Show ) data Encoding' = EncodingInt [Int] | EncodingBool [Bool] choos ...
如何正确获取 haskell 中的命名字段？
[英]How do I get the named fields in haskell correctly?
我在 parsec 的帮助下编写解析器，但遇到问题 简而言之，我不明白如何获取命名字段，paramExpr1 将返回 Param，我想获取 paramName，但我不明白如何 ...
如何处理 haskell 中的自定义数据类型列表？
[英]How to handle a list of custom datatype in haskell?
我知道我可以像 tihs 一样使用 haskell 中的列表： 但是，如果我有一个自定义数据 class human怎么办？ 我试过了 但是我得到一个错误。 执行此操作的正确方法是什么？ ...
使用 Hasql.TH 时没有 (Data.Vector.Generic.Base.Vector...) 的实例
[英]No instance for (Data.Vector.Generic.Base.Vector ...) when using Hasql.TH
我有一个使用 Hasql.TH 在 Hasql 中运行的查询，我遇到了一个我以前从未见过的错误（见下文）。 我看到这个 SO question/answer引用了vector的版本，但是（a）我正在使用stack所以这些事情应该得到解决（对吗？）； (b) vector的版本没有在错误中突出显示， ...
Haskell中的项目如何添加库？
[英]How do I add libraries to a project in Haskell?
我正在尝试编写一个 parter 模块，为此我想连接 parsec 库。 我把依赖放在package.yaml，但是parsec只在Main.hs中可见。 我的 package.yaml 项目结构如下（使用stack new创建） 错误： ...
如何使用 GeneralizedNewTypeDeriving 派生 Vector 和 MVector？
[英]How can I use GeneralizedNewTypeDeriving to derive Vector and MVector?
在Data.Vector.Unboxed的黑线鳕顶部附近，讨论了如何使用GeneralizedNewTypeDeriving派生Vector和MVector的实例。 说明了以下示例，已编辑为使用LANGUAGE pragmas：{-# LANGUAGE GeneralizedNewtypeDeri ...
如何正确解析 arguments 和 Haskell？
[英]How to correctly parse arguments with Haskell?
我正在尝试通过编写 function 来学习如何在IO中使用 IO，如果有标志，将从文件中获取点列表，如果没有标志，它会要求用户输入它们。 我明白了： do-notation in pattern Possibly caused by a missing 'do'?` after `if "fil ...
不在 scope 中：类型构造函数或 class `GenUnchecked'
[英]Not in scope: type constructor or class `GenUnchecked'
我想使用validity设置基于属性的测试，但我什至无法从文档中获取这个简单的示例来编译：module PrimeSpec where import Data.GenValidity import Data.Validity import Data.Numbers.Primes import T ...
如何将不透明类型转换为 Haskell？
[英]How can I translate Opaque types into Haskell?
我从以下代码中获取了苹果公司 (2022)。 “不透明类型 — Swift 编程语言 (Swift 5.7) ” Swift 文档示例：// main :: IO () func main() -> () { let shape = join( ...
试图在 C++ 中实现类似于类型类的东西，但出现段错误
[英]Trying to impliment something similar to type classes in C++ but getting a segfault
基本上，我希望能够在ISignalFilter下创建子类，它们都只需要实现filtered_value并且它们都应该自动与*运算符一起工作。 这段代码可以工作。 它在filter1 * filter1下编译并且可以工作，但是一旦我执行filter1 * filter1 * filter1 ，我就会 ...
在 monadic 上下文中使用具有覆盖范围的 QuickCheck 属性
[英]Using QuickCheck properties with coverage inside a monadic context
我正在尝试编写一个使用cover的 QuickCheck 属性，以确保测试数据涵盖某些情况，并结合测试涉及 IO 操作的事实。 问题本质上归结为以下几点：prop = do res <- exampleIOAction cover 40.0 (even res) "res is eve ...
减少围绕手工包装的“Num”类型的样板
[英]Reduce boilerplate around a hand-wrapped `Num` type
（可能使用 GHC 扩展），有没有办法减少这种代码中的样板文件？data Operation = Add | Sub | Mult | Div data Number = IntVal Integer | FloatVal Double evaluate :: Operatio ...
如何在 Haskell 中编写 uncurry function 以从元组创建记录？
[英]How to write an uncurry function in Haskell to create a record from a tuple?
我有以下记录定义：data EmailConfig = EmailConfig { id :: UUID, fromName :: ByteString, fromEmail :: ByteString, apiKey :: ByteString } 我从以下类型的数据库操作中得 ...
数据类型的模式匹配
[英]Pattern match on data types
到目前为止，我一直在努力解决这个问题，想知道是否有人可以指出我正确的方向。 到目前为止，这是我的模板： 现在我想对表格列表的所有金额求和（所以在这种情况下我想得到240 ）： 返回： 我知道foldr的存在，但我不确定如何根据此处的“数量”正确匹配模式。 通常我会使用map重新映射到单个值列表，以便 ...
如何快速判断 Haskell 是如何解析一个表达式的？ 是否可以在每个非叶 AST 节点周围打印带括号的表达式？
[英]How can I quickly tell how Haskell parses an expression? Is it possible to print the expression with parenthesis around every non-leaf AST node?
有时我会遇到充满不同运算符的表达式，但我不知道它们是如何被解析的。 我知道我可以使用:i向 GHCi 询问有关运算符的信息，但是必须查看多个运算符并应用它们的优先级和关联性在我的脑海中重建它感觉非常困难。 有没有更简单的理解方式？ 例子以这个有效的 Haskell 表达式为例：7 ¤ 2 ⏆ 4 ...
将数值表达式转换为lambda Haskell中的微积分
[英]Converting numerical expressions to lambda calculus in Haskell
试图制作一个 function 将任何给定的数值表达式转换为其 lambda 微积分等价物。 为此，我做了两个函数； 一个编码 function 和 subst。 以下是我的代码的相关部分。 但是，当我运行编码 function 时，它没有正确编码乘法表达式； 即我想我在编码 function 中写 ...