如何在Rascal MPL的visit中移除子树？

完全可行，这种写法确实能移除所有匹配到的red(l, r)节点。

在Rascal的模式匹配动作里，返回空列表[]的作用是将当前匹配的节点从语法树中移除，同时把该节点的子节点l和r直接提升到父节点的位置——不过这里有个前提：父节点的语法规则必须允许容纳l和r的类型结构。

举个实际场景的例子：
如果原语法树是container(red(nodeA, nodeB))，使用这个匹配规则后，语法树会变成container(nodeA, nodeB)。但如果container节点的语法定义只允许单个子节点，那这种替换就会触发结构不兼容的错误，这时你可能需要调整动作逻辑，比如返回l或者r其中一个节点，而非空列表。

内容的提问来源于stack exchange，提问作者Teun M.