Sign In

Haikal Ryclova-Pribadi

Highlights

May 29 · linkedin

We are excited to announce that the next major version of TypeDB is around the corner: version 3.0 will bring fundamental improvements to the architecture and feel of TypeDB, and incorporate pivotal insights from user feedback and our research. Moreover, TypeDB 3.0 will be written in #Rust, replacing the #Java codebase and JRE, and promising significant gains in performance and application safety. While we are busy finalizing the details of version 3.0, we are happy to finally share with you a first look at what is to come!

TypeDB replaces what are often multi-layered tech stacks with a single, high-level, and #declarative #database #programming model. The upcoming release of version 3.0 will strongly refine this novel database programming model, extending TypeDB’s type system with powerful new constructs and improving developer experience across the board. We've implemented these improvements in an exceptionally principled way, following a new #functional database programming model. The model combines traditional database wisdom with modern type-first functional programming languages.

Mar 29 · linkedin

50 years ago, Codd’s formulation of relational algebra was a breakthrough moment for database theory, providing a set of simple, general, and performant data operations. Since then, the mathematical landscape of programming languages has changed dramatically, replacing low-level algebraic operations with high-level type-theoretic constructs. In our very first #TypeQL paper, we present the foundational synthesis of modern type-theoretic programming principles and database languages, based on which we craft our query language.

We are proud and honored to announce that our #paper, TypeQL: A Type-Theoretic & Polymorphic Query Language, has been officially accepted for publication at #ACM SIGMOD/PODS 2024! @ACM, Association for Computing Machinery

But that's not all the news we'd like to share today. TypeDB #Cloud is now available on Google Cloud Platform, Amazon Web Services (AWS), and Microsoft Azure, all with #free-tier deployments. We have a new TypeDB Learning Course, Documentation, and C# Driver. And finally, #TypeDB gets a new #opensource license: Mozilla Public License 2.0.

Related Questions

How did Haikal Ryclova-Pribadi develop his expertise in software development and project management?
What inspired Haikal Ryclova-Pribadi to pursue a career in technology?
Can you share some of the innovative projects that Haikal Ryclova-Pribadi has led throughout his career?
How does Haikal Ryclova-Pribadi stay ahead of technology trends in his field?
What role has mentorship played in Haikal Ryclova-Pribadi's career development?
Haikal Ryclova-Pribadi
Add to my network

Location

Schlieren, Zurich, Switzerland