Raku语法解析时长限制及Adaptive LL(*)实现计划咨询

一、限制解析执行时长的实现方法 #

Raku可借助异步特性实现解析任务的超时控制，核心思路是将解析操作放入异步任务，配合定时Promise触发超时判定。示例代码如下：

grammar Parser {
    rule TOP { <A> }
    rule A { 'b' | <A> 'a' } # 引发回溯导致解析耗时过长的示例规则
}

my $timeout = 1; # 设置超时时间（单位：秒）
my $parse-promise = start { Parser.parse('baa') };

# 等待解析完成或超时触发
await Promise.anyof($parse-promise, Promise.in($timeout));

if $parse-promise.status == Kept {
    say "解析成功：", $parse-promise.result;
} else {
    say "解析超时";
}

需要注意：这种方式仅停止等待解析结果，后台的解析任务可能仍会继续运行——Raku目前没有强制终止异步任务的直接方法，但多数场景下，忽略超时后的结果已能满足需求。

二、Raku对ANTLR Adaptive LL(*)解析的支持情况 #

1. 官方计划：目前Raku官方没有公开计划实现ANTLR的Adaptive LL(*)解析逻辑。Raku自身的语法解析体系基于NQP（Not Quite Perl）构建，与ANTLR的解析机制差异较大。
2. ANTLR对Raku的支持：ANTLR 4.11.1确实未将Raku纳入代码生成目标列表，且暂无官方时间表添加该支持。不过Raku社区生态活跃，不排除第三方开发者后续推出集成方案的可能，可关注社区动态获取最新进展。

内容的提问来源于stack exchange，提问作者user3134725