Skip to content

What we’re about

Welcome to the TypeDB Developer Community!

TypeDB is a polymorphic database with a conceptual data model, a strong subtyping system, a symbolic reasoning engine, and a beautiful and elegant type-theoretic language TypeQL.

Background

Over the last decade, we have seen modern programming languages have evolved by introducing powerful abstractions and constructs to express more complex logic — JavaScript is being succeeded by TypeScript, Python by Julia, Java by Kotlin, C/C++ by Rust, and Haskell emerged as the leader of functional languages. Modern languages all have stronger and more powerful abstractions, as they leverage a breadth of powerful concepts in modern mathematics: type theory -- the study of type systems and how they formally govern complex and logical systems.

However, when we look at the evolution of database technologies since relational algebra and SQL, even though there has been incredible progress in performance and operational capabilities in the past 40 years, 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 their abstractions, and modern applications must use complex, layered architectures to manage their data. Relational databases lack the expressivity to model polymorphism, and eliminating the schema in NoSQL databases prevents declarative data retrieval.

Inspired by the advancement of modern programming languages, we ask ourselves: with modern type-theoretic mathematics at our disposal, how would we re-think and re-design the foundations of modern databases in the best possible way?

Answering the question above allowed us to build the world's first truly polymorphic database, powered by a strong type system and a native reasoning engine. For the first time, TypeDB brings to the database the power of polymorphic abstractions, the simplicity of a composable language, and the intelligence of symbolic reasoning to infer data.

About this community

In this developer community, we will discuss new and modern paradigms in database engineering: conceptual data modeling, strong subtyping systems, symbolic reasoning, polymorphic queries, and truly declarative, modern, and type-theoretic query language. We will discuss how TypeDB allows software engineers to build more advanced database applications with an elegant and robust database language.

Developer resources

TypeDB Learning Center: typedb.com/learn
TypeDB Discord Server: typedb.com/discord
TypeDB GitHub: github.com/vaticle/typedb
TypeDB YouTube: youtube.com/@typedb