Turning the IDE Inside Out with Datalog

Re:Turning the IDE Inside Out with Datalog by nine_k on Sunday July 19, 2020 @01:05AM (#23887143)

This is really nice. Key points:

- Parse the program like an IDE would, but expose the data in an open queryable database format (both line and unlike a language server).

- Use Datalog for storing the facts and inferring new facts about data.

(A fun fact: the Datalog implementation they use is written in Haskell and generates programs in Rust.)

[ Parent | on HN ]

Re:Turning the IDE Inside Out with Datalog by kibwen on Sunday July 19, 2020 @02:06AM (#23887351)

Here's the link to the Datalog implementation you mention (from VMWare, I wonder what they use it for?): https://github.com/vmware/differential-datalog

[ Parent | on HN ]