Mihai Budiu
Mihai Budiu
It should work with wsl. https://en.m.wikipedia.org/wiki/Windows_Subsystem_for_Linux
I vote for the static analysis. No point in making the language more complex than needed.
The SQL to DDlog compiler can recognize left joins more easily. And we have a clear convention for representing NULLs too.
But that's a different problem.
Wouldn't this cause a race if multiple compilations are started concurrently? Is there a way to lock a crate?
I think this is also done #636
The monotonicity of datalog says nothing about changes in time. In fact, both interpretations are reasonable. The spec should be clear about the meaning of this. In terms of the...
When you say "working" what do you really mean? You should start by running the tests - there are lots of them, and each of them is run in a...
The Java and C-based APIs are perhaps simpler to understand and better documented. Maybe you can elaborate on your end goal and we can see what the best way to...