search

vmware / differential-datalog

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
MIT License
1.37k stars 117 forks source link

More systematic approach to building and testing libraries in /lib #282

Open remysucre opened 5 years ago

remysucre commented 5 years ago

Right now one can only test /lib through DDlog tests, e.g. by using stack test --ta .... Adding separate tests for it would ease development.

ryzhyk commented 5 years ago

Expanding this issue to include a more systematic standard library design. So far we've added functions/modules to the standard library on-demand. We should adopt a more systematic approach, which involves implementing complete APIs for various supported data types, testing and benchmarking them ahead of time. The best way to do this is probably to model them after existing Rust standard libraries.