类别匹配

Question

Dan Friedman 的模式匹配器有一个称为 cata-matching 的不错特性 - 允许从 match 本身进行递归匹配。在编写编译器时非常有用。

Answer 1

由 dnolen发表的评论：

类似于函数应用，但如果函数调用抛出“不匹配”异常，则捕获并回溯。

Answer 2

由 dnolen发表的评论：

现在暂时去降低优先级，因为函数应用上的匹配本身就提供了很多功能。

Answer 3

参考：https://clojure.atlassian.net/browse/MATCH-65（由 dnolen 报告）