Warm tip: This article is reproduced from serverfault.com, please click
haskell

其他-haskell使用Foldl的Elem函数的自己的版本

(其他 - haskell Own version of Elem function using Foldl)

发布于 2020-11-29 13:37:55

我正在尝试创建自己的elem函数版本，该函数将返回xTrue或False基于x是否在给定数组内。

elem' :: Eq(t)=>t->[t]->Bool
elem' x xs = or [foldl (\acc -> \a -> if a == x then True else False) [] xs]

我在这里想要做的是使用具有真/假值的foldl填充数组，然后生成or函数，如果其中至少有一个是真（那么我想要得到），它将返回真。但是，此代码导致以下编译错误：

main.hs:11:71: error:
    * Couldn't match expected type `Bool' with actual type `[a0]'
    * In the second argument of `foldl', namely `[]'
      In the expression:
        foldl (\ acc -> \ a -> if a == x then True else False) [] xs
      In the first argument of `or', namely
        `[foldl (\ acc -> \ a -> ...) [] xs]'
   |
11 | elem' x xs = or [foldl (\acc -> \a -> if a == x then True else False) [] xs]
   |            

                                                       ^^
Questioner
enneenne
Viewed
11
分享
Willem Van Onsem 2020-11-29 21:45:34

使用a的想法foldl是不制作元素列表，因此也不使用or。

如果使用foldl，则万一a == x失败，你将查看elem前面的元素是否成功，因此acc在这种情况下我们将返回。此外，你不能将其[]用作累加器的“起始值”，因为foldl应当返回Bool，而不是列表：

elem' :: (Foldable f, Eq t) => t -> f t -> Bool
elem' x xs = foldl (\acc a -> if a == x then True else acc) False xs

但是，在这里使用并不是一个好主意foldl，因为这意味着我们将对整个列表进行枚举。如果使用foldr，我们可以从找到元素的那一刻起停止，因此我们可以将其重写为：

elem' :: (Foldable f, Eq t) => t -> f t -> Bool
elem' x = foldr (\e -> if x == e then const True else id) False

如果我们这样检查：

elem' 1 ([1,4,2,5] ++ repeat 3)

它会True为该foldr方法返回，而将为该foldl方法循环。

热门帖子

1
难道 Go 就没有好用的工作审批流框架吗
2
跟风贴自家软路由实现
3
Mac 上有什么 pdf 阅读器比较好用？
4
再开一个贴，问界发布新 M5，请各位老哥或者老车主骂醒我
5
我这辈子是不是彻底和 Airpods Pro 无缘了
6
最近对很多事情都没有感觉了
7
微信读书非付费会员有每月导入数量限制了
8
不知道从什么时候，普通 USB-C 双头线不能给 iPhone15 充电了
9
程序员想开发漂亮的个人网站是不是用 react 会比 vue 简单一些？
10
有关于上海居住证 120 积分

热门github

1
Implementation of paper - YOLOv9: Learning What You Want to Learn Using Programmable Gradient Information (翻译：论文实现——YOLOv9: Learning What You Want to Learn using Programmable Gradient Information（利用可编程梯度信息学习您想学的内容）)
2
A Windows and Office activator using HWID / Ohook / KMS38 / Online KMS activation methods, with a focus on open-source code and fewer antivirus detections. (翻译：使用 HWID / KMS38 / Online KMS 激活方法激活 Microsoft 产品的脚本集合，重点是开源代码、较少的防病毒检测和用户友好性。)
3
Get up and running with Llama 2, Mistral, Gemma, and other large language models. (翻译：启动并运行 Llama 2、Mistral、Gemma 和其他大型语言模型。)
4
该项目可以让你通过订阅的方式使用Cloudflare WARP+，自动获取流量。This project enables you to use Cloudflare WARP+ through subscription, automatically acquiring traffic.
5
Multi functional app to find duplicates, empty folders, similar images etc. (翻译：多功能应用程序可查找重复项、空文件夹、相似图像等。)
6
Xray panel supporting multi-protocol multi-user expire day & traffic & ip limit (Vmess & Vless & Trojan & ShadowSocks & Wireguard) (翻译：Xray面板支持多协议多用户到期日&流量&IP限制（Vmess & Vless & Trojan & ShadowSocks & Wireguard)
7
The Free Software Media System (翻译：Jellyfin 是一个免费软件媒体系统，可让您控制管理和流式传输您的媒体。它是专有 Emby 和 Plex 的替代方案，通过多个应用程序从专用服务器向最终用户设备提供媒体。)
8
lightweight, standalone C++ inference engine for Google's Gemma models. (翻译：适用于 Google Gemma 模型的轻量级独立 C++ 推理引擎。)
9
📚 Freely available programming books (翻译：📚 免费提供的编程书籍)
10
A collective list of free APIs (翻译：免费 API 的集合列表)
11
1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java (翻译：十亿行挑战 —— 使用 Java 对文本文件中的 10 亿行数据进行聚合的有趣探索)
12
🎓 Path to a free self-taught education in Computer Science! (翻译：🎓计算机科学免费自学教程！)
13
Curso para aprender el lenguaje de programación Python desde cero y para principiantes. 75 clases, 37 horas en vídeo, código, proyectos y grupo de chat. Fundamentos, frontend, backend, testing, IA... (翻译：从零开始学习 Python 编程语言的课程，适合初学者)
14
This repository contains System Design resources which are useful while preparing for interviews and learning Distributed Systems (翻译：该存储库包含系统设计资源，在准备面试和学习分布式系统时非常有用)
15
Mamba is a new state space model architecture showing promising performance on information-dense data such as language modeling, where previous subquadratic models fall short of Transformers. It is based on the line of progress on structured state space models, with an efficient hardware-aware design and implementation in the spirit of FlashAttention. (翻译：Mamba 是一种新的状态空间模型架构，在信息密集型数据（例如语言建模）上显示出良好的性能，而之前的二次模型在 Transformers 方面存在不足。它基于结构化状态空间模型的进展，并本着FlashAttention的精神进行高效的硬件感知设计和实现。)