Type-theory Database for OCaml

Ecosystem
1

Hello

I am surveying the OCaml community’s interest about developing an OCaml driver for TypeDB.

For a background, check Type Theory as the Unifying Foundation for Modern Databases.

Discussion.

  • How far do you see the usefulness of that driver?
  • Do you see any other priority contributions for OCaml database clients?
  • Do you see any potential use-cases for a native integration with a type-theory based database?
1 Like