matcha：Elixir的一流比赛规范和比赛模式

抹茶 一流的匹配规范和匹配模式 动机 埃尔朗 Erlang matchspec是一种BeamVM构造，可以将数据结构匹配过程编译为比常规模式匹配函数更有效的方法。 之所以可行，是因为它们仅支持有限的一组安全且经过优化的模式匹配操作以及一些关键的内核功能，就像警卫一样。 它们可能会根据上下文（即ets或trace使用情况），在安全防护功能之外支持特殊的“虚拟”功能调用[^ virtual-context-function-calls]。 它们可以在运行时进行验证，可以针对特定上下文中的特殊功能使用进行验证，还可以针对性能优化进行预编译。 它们以类似于元朗AST的基于元组和原子的DSL表示，允许注入文字和绑定变量。 在erlang中正确组合它们可能很困难且令人生畏，但在与DSL模拟的erlang语法不符的Elixir中甚至更是如此。 DSL 令人遗憾的是，这种带有erlang风格的元组