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!

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.

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.

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.