我想匹配Racket（以前的PLT Scheme）中的以下两个列表之一：
'(somename : (_ptr o sometype))
要么
'(somename : (_ptr io sometype))
正如您所看到的，唯一的区别是嵌入式列表中的文字“o”和“io” .
我可以看到两种基本方法来做到这一点 .
或者：
(match myexpr
[(list name ': (list '_ptr 'o _)) name]
[(list name ': (list '_ptr 'io _)) name]
[_ 0])
这似乎是重复的努力，但非常清楚 . 要么：
(match myexpr
[(list name ': (list '_ptr mode _))
(if (or (eq? mode 'o)
(eq? mode 'io))
name
0)]
[_ 0])
这避免了几乎重复的模式，但不太清楚 .
我的问题是，有没有办法在球拍模式匹配中指定替代品，类似{'o | “IO}？而且，如果没有，上面列出的两种方式中的哪一种将是最惯用的Racket方式？
1 回答
使用
or模式(or 'o 'io). 当然，不要忘记所有这些都是documented .