Mihai Budiu
Mihai Budiu
The error is ``` ddlog: Failed to parse input file: "x.dl" (line 4, column 8): unexpected "." expecting letter or digit, "_" or expression term ```
> statically typed API will require the client to additionally link against a DDlog-generated library. Do you intend to support the case of client that loads multiple such libraries at...
> Starting a DDlog instance. Maybe use ssh for this? Are there any requirements for the environment of a ddlog process? I can't really think of any myself - if...
> Split trait DDlog into statically and dynamically typed APIs. You should probably start with this piece, since it has nothing to do with the distributed execution.
> The DDlog protocol, implemented over the ZeroMQ protocol ZeroMQ seems to offer much more than you need. For example, I think you will never need multicast. > heartbeat messages...
How about having two separate traits for producers (who supply deltas) and consumers (who implement the callbacks)? This way the consumers don't have to be in the same process and...
You will have to think about the semantics of the various primitives. What does the return result from apply_updates mean? That the updates have been queued, received by the server,...
parser errors are not easy to fix
This is bad. I wonder whether you can start evaluation only at the first commit.