假设我们正在遍历图表并希望快速确定之前是否已经看过某个节点。我们有一些先决条件。
以纯函数方式执行此操作的任何想法？（不允许使用哈希表或数组）。
我想要一个包含两个函数的数据结构;添加（添加遇到的整数）和查找（检查是否添加了整数）。两者都应该优选地将O（n）时间摊销以进行N次重复。
这可能吗？
答案 0 :(得分：9)
您可以使用Data.Set。您可以通过使用insert从旧组创建新集来添加元素并传递新集。您可以查看元素是否是member的集合的成员。两个操作都是O（log n）。
也许，您可以考虑使用状态monad来线程传递集合。
答案 1 :(得分：1)
功能语言中的高效元素查找非常困难。 Data.Set（如上所示）是使用二叉树实现的，二叉树可以以纯函数方式构建，在O（log n）中提供查找操作。 HashTables（不是纯粹的功能）会有O（1）。
答案 2 :(得分：0)
我相信Data.BitSet可能是O（n）。
答案 3 :(得分：0)
如果您不介意将代码包装在IO monad中，请查看judy hashtables。