TypeDB Blog
Learn from our journey building TypeDB & TypeQL.
Start faster on TypeDB with new learning materials
Over the past few months we've spent a lot of time building new learning material for TypeDB, and all of these materials are now available! No matter where you are on your TypeDB journey, there's something new for you to explore.
Dr. James Whiteside
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