匹配的Triemaps
摘要：Trie数据结构在键是数据结构（树）而不是原子值时是一个很好的选择。但是，如果我们希望键是匹配许多查找键的模式怎么办？这种有效匹配在定理证明器社区中已经有充分的研究，但在静态类型的函数式编程环境中研究较少。在这方面的研究提供了一个有趣的新视角，并提供了一个实用的设计模式，具有良好的运行时性能。
作者：Simon Peyton Jones and Sebastian Graf
论文ID：2302.08775
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-02-20