抹茶 一流的匹配规范和匹配模式 动机 埃尔朗 Erlang matchspec是一种BeamVM构造，可以将数据结构匹配过程编译为比常规模式匹配函数更有效的方法。 之所以可行，是因为它们仅支持有限的一组安全且经过优化的模式匹配操作以及一些关键的内核功能，就像警卫一样。 它们可能会根据上下文（即ets或trace使用情况），在安全防护功能之外支持特殊的“虚拟”功能调用[^ virtual-context-function-calls]。 它们可以在运行时进行验证，可以针对特定上下文中的特殊功能