# Type-theory Database for OCaml

**URL:** https://discuss.ocaml.org/t/type-theory-database-for-ocaml/18558
**Category:** Ecosystem
**Created:** [September 25, 2026, 1:42pm UTC](https://discuss.ocaml.org/t/type-theory-database-for-ocaml/18558 "2026-09-25T13:42:16Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![mostafatouny](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/mostafatouny/32/5826_2.png) [@mostafatouny](https://discuss.ocaml.org/u/mostafatouny)
#### Post date: [September 25, 2026, 1:42pm UTC](https://discuss.ocaml.org/t/type-theory-database-for-ocaml/18558/1 "2026-09-25T13:42:17Z")

</div>

Hello

I am surveying the OCaml community’s interest about developing an OCaml driver for [TypeDB](https://typedb.com/).

For a background, check [Type Theory as the Unifying Foundation for Modern Databases](https://typedb.com/lectures/type-theory).

**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?