欢迎!请查看关于页面以了解关于如何使用本站的一些更多信息。
Dan Friedman 的模式匹配器有一个名为 cata-matching 的优点——允许从 match 本身进行递归匹配。当编写编译器时很有用。
评论者:dnolen
与函数应用类似,不同之处在于如果函数调用抛出无匹配异常,则捕获并回溯。
目前将此降级为低优先级,因为对函数应用的匹配本身就提供了很多功能。