4 ms·
it is totally declarative and almost like an SMT solver so has some properties that can make it more useful in certain situations - I think it might even be ful
by plaguuuuuu 2y ago
it is totally declarative and almost like an SMT solver so has some properties that can make it more useful in certain situations - I think it might even be fully statically verifiable but not sure. would need to look it up.
I think Rust was initially using it for reference counting.
- 29athrowaway 2y agoNo doubt that it is powerful and useful. But it is no SQL killer or Cypher killer.
- nikodotio 2y agoNo, it’s a secret third thing