網摘Codebase as Database: Turning the IDE Inside Out with Datalog | Pete\'s Blogpetevilter.me↗ Codebase as Database: Turning the IDE Inside Out with Datalog | Pete\'s Blog https://petevilter.me/post/datalog-typechecking/