3 ms·
This looks very intriguing! Couldn't you use this for stuff like graph convolution networks or even optimizing TypeScript live reloading? I'm just trying to th
by bottom999mottob 4y ago
This looks very intriguing! Couldn't you use this for stuff like graph convolution networks or even optimizing TypeScript live reloading?
I'm just trying to think of potential applications. This sounds cool!
- ar-nelson 4y agoI'm just imagining a type system based on this. I've had ideas about a Datalog-based type system before, but it was never really practical; this could be the breakthrough that would make it practical!
- philzook 4y agoYou might find these also interesting - Higher-Order, Data-Parallel Structured Deduction https://arxiv.org/pdf/2211.11573.pdf https://arxiv.org/pdf/2211.11573.pdf - Functional Programming with Datalog https://drops.dagstuhl.de/opus/volltexte/2022/16235/pdf/LIPIcs-ECOOP-2022-7.pdf https://drops.dagstuhl.de/opus/volltexte/2022/16235/pdf/LIPI... - A Systematic Approach to Deriving Incremental Type Checkers https://www.pl.informatik.uni-mainz.de/files/2020/10/incremental-typing-foundations.pdf https://www.pl.informatik.uni-mainz.de/files/2020/10/increme...