- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我想创建一个函数,删除满足第二个参数中给定谓词的第一个元素。像这样:
removeFirst "abab" (< 'b') = "bab"
removeFirst "abab" (== 'b') = "aab"
removeFirst "abab" (> 'b') = "abab"
removeFirst [1,2,3,4] even = [1,3,4]
我想通过递归的方式做到这一点,并想出了这个:
removeFirst :: [a] -> (a -> Bool) -> [a]
removeFirst [] _ = []
rremoveFirst (x:xs) p = if p x then x : removeFirst xs p else removeFirst xs p
(灵感来自 this 问题)但是我得到了一个类型错误,就像这样:
Couldn't match type ‘a’ with ‘Bool’
Expected: [Bool]
Actual: [a]
‘a’ is a rigid type variable bound by
the type signature for:
removeFirst :: forall a. [a] -> (a -> Bool) -> [a]
或者这个:
ghci> removeFirst [1,2,3,4] even
<interactive>:25:1: error:
* Variable not in scope: removeFirst :: [a0] -> (a1 -> Bool) -> t
* Perhaps you meant `rem' (imported from Prelude)
我知道这是一个相对简单的程序,我只是对 Haskell 还不够熟悉。我怎样才能做到这种“Haskell 风格”(一行)?
最佳答案
在“以风格”做之前,为什么不先简单地做,这样它就可以了。这就是我们学习的方式。
“Variable not in scope: removeFirst ...
”只是意味着您还没有定义名为 removeFirst
的函数。
所以看起来您首先尝试定义它(并且您显示的错误不与您显示的代码一致),然后您遇到了错误,因此它没有被定义,然后您尝试调用它并自然而然地收到错误消息说它尚未定义。
因此,将您的程序保存在源文件中,然后在 GHCi 中加载该文件。然后,如果您遇到任何错误,请将文件中的完整代码复制并粘贴到您的问题中(不要手动重新输入)。还请说明当您收到错误消息时您做了什么,准确地说。并确保通过复制粘贴来完整包含错误消息。
然后您的代码逻辑可以得到解决。
由于其他人已经发布了工作代码,以下是我将其编码为单行代码的方式:
remFirst :: [a] -> (a -> Bool) -> [a]
remFirst xs p = foldr g z xs xs
where
g x r ~(_:tl) -- "r" for recursive result
| p x -- we've found it, then
= tl -- just return the tail
| otherwise
= x : r tl -- keep x and continue
z _ = [] -- none were found
缩短了,就变成了
remFirst xs p =
foldr (\x r ~(_:tl) -> if p x then tl else x : r tl)
(const []) xs xs
关于haskell - 删除满足谓词的第一个元素(Haskell),我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/69326029/
我正在开发一个包含 TreeViewer 的 RCP 应用程序,我想在其上激活多个应与“OR”谓词配合使用的过滤器,例如: A |--B |--|--redColor |--|--blueColor
我的问题是关于 enable_if通常标准库中的谓词,但我将在迭代器类型的上下文中构建它,因为这是我目前遇到此问题的地方。 我有一个自定义迭代器类型 It , 这样 std::iterator_tra
关闭。这个问题不满足Stack Overflow guidelines .它目前不接受答案。 想改善这个问题吗?更新问题,使其成为 on-topic对于堆栈溢出。 4年前关闭。 Improve thi
我需要使用自然数为 2 的幂创建一个 Prolog 谓词。 自然数是:0、s(0)、s(s(0)) 等等。 例如: ?- pow2(s(0),P). P = s(s(0)); false. ?- po
我正在尝试创建一个 NSPredicate 来查找在特定日期范围内包含“ session ”的“项目”。我一开始尝试过这个: [NSPredicate predicateWithFormat:@"AN
很难说出这里问的是什么。这个问题是含糊的、模糊的、不完整的、过于宽泛的或修辞性的,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开它,visit the help center 。 已关
在JOOQ中,我可以编写如下SQL这样的代码吗? 我不知道如何编写具有多个字段的in谓词。 select some_value from t1 where (t1.id1, t1.id2) i
我正在用 PROLOG 编写一个数独求解器。我希望求解器能够处理所有可能大小的数独,因此我自然需要构造采用可变数量参数的谓词。 (例如在数独中构建“ block ”。) 如何构造或模拟具有可变数量参数
我有一个包含一些 id 的列表,我希望我的 ebean 查询排除这些 id。所以基本上我需要在 ebean 中使用“not in”谓词,就像 sql 一样,但遗憾的是找不到。还有其他方法可以实现这一目
我正在构建一个通用接口(interface)以从类中公开选定的字符串属性,然后我想在每个字段中搜索文本,以检查它是否匹配。 这是我的 IFieldExposer接口(interface): using
我将 Spring Boot 与 Spring JPA 和 Specification Executor 结合使用。我的规范/谓词组合成功地在我的类中搜索了简单的属性。但是,我在搜索其中的对象时遇到了
如果下面的 last_name 为 NULL,它会跳过该列的 WHERE 比较以提高性能吗? AND (last_name IS NULL OR sp.last_name LIKE CONCAT('%
出于好奇:如果我有一个接受多个参数(通常为 1 或 2)并返回 3 个值中的 1 个(而不是 bool 值 true 或 false)的类运算符(或函数等),它是否仍应被调用谓词?还是模糊逻辑的特例?
是否可以创建一个采用装箱值类型并返回该值类型是否等于该类型默认值的方法? 所以我想创建一个具有以下签名的方法: bool IsDefault(object boxedValueType); 注意:当
let selectedConsoles = ["Xbox", "Playstation 4"] let players = realm.objects(Person).filter("console
我正在尝试根据用户搜索文本过滤来自核心数据的结果,但效果很好。我正在努力做到有几个关键术语可以返回特定结果。 我有一个Colour 实体,它与另一个实体ProjectColour 具有对多 关系。 P
std::vector lines; typedef std::vector::iterator iterator_t; iterator_t eventLine = std::find_if(lin
我想在一个列表中找到一个元素的索引,该列表匹配某个谓词,有没有比以下更好的方法: var index = list.IndexOf(list.Find(predicate)); ? 最佳答案 你在找
我正在使用缺少 findall 的高阶 Prolog 变体. 还有一个关于实现我们自己的问题 findall这里:Getting list of solutions in Prolog . 低效的实现
我正在使用 Breeze 过滤客户端请求的数据。我的代码看起来有点像这样: 客户端 - 创建过滤谓词 var predicates = []; var criteriaPredicate = null
我是一名优秀的程序员,十分优秀!