在 deftype/record、POJO 上的优化模式匹配

Question

(match [x] [({:a 0 :b 1} :type Foo)] :a0 ...)

:a 和 :b 会被转换为字段访问，即 (.a x)

与原生数组匹配一样，我们应该进行实例检查，然后进行提示字段访问。

我们应该考虑采用 deftype/record 语法。

Answer 1

评论者：dnolen

(match [x] [^Foo {.-bar 5 .-baz 7}] :a0 [^Foo {.-bar _ .-woz 8}] :a1 :else :a2)

鉴于最近关于 ClojureScript 属性访问的讨论，这似乎是高性能属性访问的可行语法。

也许

(match [^Foo x] [{.-bar 5 .-baz 7}] :a0 [{.-bar _ .-woz 8}] :a1 :else :a2)

但这可能不太可能，因为我们可能应该当有人尝试在此行中声明不同类型时抛出异常。

Answer 2

评论者：pron

嗨。有计划解决这个问题吗？

Answer 3

评论者：dnolen

我没有具体的 时间表，它肯定是在 0.2.0 以后，目前只专注于修复错误。

Answer 4

评论者：leonardoborges

这个值得我来做吗？

我已经实现了一个非常基础的版本，现在在这里使用： https://github.com/leonardoborges/imminent#pattern-matching

非常希望看到这个功能的扩展和官方支持。有想法吗？

Answer 5

评论者：dnolen

是的，很高兴看到有人来做这个。

Answer 6

评论者：leonardoborges

太好了！你有什么建议/指南吗？如果没有，我就会根据基本原理使用 https://github.com/clojure/core.match/wiki/Advanced-usage#participating-in-pattern-matching 来开始了。

Answer 7

评论者：dnolen

是的，主要问题就是找出一个合适的语法。一旦有了这个，我相信实现它不会那么难。

Answer 8

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