It is also integesting to see how typeclasses/traits and OCaml's (still upcoming?) "modular implicits" are related to logic programming.
I commend the rustc team for taking this lineage seriously in developing Chalk[1] and using differential-dataflow for the next borrow checker. If they combine those into a differential-dataflow-powered Chalk it will be very formidable!
We'll have to catch up Haskell at some point, sigh.
I commend the rustc team for taking this lineage seriously in developing Chalk[1] and using differential-dataflow for the next borrow checker. If they combine those into a differential-dataflow-powered Chalk it will be very formidable!
We'll have to catch up Haskell at some point, sigh.
[1]: https://github.com/rust-lang/chalk.git
[2]: https://github.com/TimelyDataflow/differential-dataflow