증명 가능한 조건을 만족하는지만 검사하면 되고 AST 국소 패턴만 다루는 것만 모델링 하면 되서 오히려 구현 자체는 간단해질 것 같음

1

If you have a fediverse account, you can quote this note from your own instance. Search https://hackers.pub/ap/notes/019b34f3-bd54-7654-86ce-b27998a9b147 on your instance and quote it. (Note that quoting is not supported in Mastodon.)