Fixpoint engine in Rust #7135
stephentetley
started this conversation in
Ideas
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I've started to look at a port of the Fixpoint engine to Rust.
https://github.com/stephentetley/fixpoint-experiment/tree/master/rust
The idea behind the port is to have Flix living in the Apache Arrow ecosystem. Living in the Arrow ecosystem brings in some very nice features - builtin Csv and Apache Parquet import and export, zero copy data transfer with Arrow hosted platforms like DuckDB and Python Pandas / Polars etc.
I'm planning to build on top of the Datafusion library which provides relational algebra support that I hope to use for the Rust implementation of the RAM machine in the Fixpoint engine. I know Datalog materializes a lot of relations during evaluation which is probably not ideal for a columnar storage system like Arrow but there has been a columnar Datalog (VLog) so I think it is worth a try.
Beta Was this translation helpful? Give feedback.
All reactions