Officially out now: The TypeDB 3.0 Roadmap

TypeDB Blog

Learn from our journey building TypeDB & TypeQL.

The TypeDB 3.0 Roadmap

The upcoming release of version 3.0 will represent a major milestone for TypeDB: it will bring about fundamental improvements to the architecture and feel, and incorporate pivotal insights from our research and user feedback.

Dr. Christoph Dorn

New Foundations for Building with TypeDB

Our TypeQL paper was accepted at ACM SIGMOD/PODS'24, TypeDB Cloud now provides free-tier deployments, we built a new TypeDB Learning Course hand-in-hand with our new documentation, and more!

Haikal Pribadi

The theory of TypeQL: pioneering typeful query languages

Despite breaking with the traditions of long-established database query languages, TypeQL often feels deeply familiar even to first-time users of the language—this is because TypeQL is directly built on the principles of modern programming language theory, which distill how we intuitively interact with computers using simple, yet formal, structures: types.

Dr. Christoph Dorn

Introducing the Type Theory and Polymorphic Foundations of TypeDB

When we look at the evolution of databases in the last 40 years since relational algebra and SQL, even though there has been incredible progress in performance and operational capabilities, databases have yet to provide more powerful abstractions to express more advanced logic. Database models have failed to keep up with the rapid evolution of programming languages, and modern applications must use complex layered architectures to manage data as a result.

Haikal Pribadi

A New Era for TypeDB

When we started building TypeDB, we saw a continuously growing complexity of data in modern applications. Modern programming languages have evolved by introducing powerful abstractions and constructs to express more complex logic — JavaScript is succeeded by TypeScript, Python by Julia, Java by Kotlin, C/C++ by Rust, and Haskell emerging as the leader of functional languages. Modern languages all have a stronger and more expressive type system.

Haikal Pribadi