구현 중인 린터의 코드 수정 제안 기능에 부분적으로 한번 형식 증명을 적용해볼만 할 것 같기도 하다

2

If you have a fediverse account, you can quote this note from your own instance. Search https://hackers.pub/ap/notes/019b2a85-0318-7db5-8451-74759714174e on your instance and quote it. (Note that quoting is not supported in Mastodon.)

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

1