This is a bare-bones, minimal OCaml API to the AtomSpace.
Sadly, there does not seem to be any (easy) way to mirror the AtomSpace type system into the OCaml type system. The OCaml types are static, non-extendable compile-time types. The Atomese types are dynamic and run-time extendable. Even with a minimalist implementation, this already causes a fair bit of friction. Anything fancier seems like it will be a can of worms.
This is a bare-bones, minimal OCaml API to the AtomSpace.
Sadly, there does not seem to be any (easy) way to mirror the AtomSpace type system into the OCaml type system. The OCaml types are static, non-extendable compile-time types. The Atomese types are dynamic and run-time extendable. Even with a minimalist implementation, this already causes a fair bit of friction. Anything fancier seems like it will be a can of worms.
Yes, I need it for another project.