Lambda MicroEgg：高阶模式匹配新玩法

我开发了一个名为 Lambda MicroEgg 的新工具，它将 egraph 技术与支持作用域的高阶 Miller 模式相结合。这个项目基于 Max 的 microegg，但增加了内置的绑定器、高阶模式匹配以及右侧的捕获避免替换。通过引入 Lambda Free Higher Order Application 和特殊的上下文处理机制，Lambda MicroEgg 能够在保持性能的同时，优雅地处理复杂的符号推理和重写规则。无论是 Beta 替换还是 Alpha 等价类的哈希共享，这个工具都展示了在处理高阶逻辑时的独特优势，为 egraph 在更复杂领域的应用提供了新思路。