August 2024 Summaries

Vercel has integrated EdgeDB into its newly launched Marketplace alongside Redis and Supabase. This integration allows seamless authentication with EdgeDB Cloud using a Vercel account, automatic configuration for running applications out of the box, and inclusion of EdgeDB Cloud usage in the Vercel bill. The price to use EdgeDB remains the same whether accessed through Vercel or directly via cloud.edgedb.com. The new integration makes it easy to build and deploy EdgeDB applications using Vercel's streamlined developer experience. Upcoming releases will include SQL becoming a first-class citizen, full PostGIS support, LSP integration, and net module for HTTP communication.

EdgeDB's recent integration into the Vercel Marketplace, alongside popular services like Redis and Supabase, enhances the ease of using EdgeDB for Vercel users by offering seamless authentication, billing integration, and auto-configuration, enabling a streamlined developer experience for building and deploying applications. This integration facilitates the creation of fast, type-safe Next.js applications, simplifying database schema migrations, joins, and access control, while offering built-in authentication and AI extensions for rapid development of production-grade systems. Upcoming enhancements for EdgeDB include making SQL a first-class citizen to improve compatibility with the Postgres ecosystem, full PostGIS support for advanced spatial capabilities, and the introduction of Language Server Protocol (LSP) for better schema integration with editors. EdgeDB is also set to showcase its advancements as a Gold Sponsor at the Next.js Conf, where it will unveil improvements to EdgeDB Cloud, its built-in UI, and core components.

The TypeScript type checker's workload can be difficult to optimize, leading to sluggish IDE responsiveness or compiler crashes. To address this, developers can use various tools and techniques, such as measuring type instantiations using `--extendedDiagnostics` or `--generateTrace`, and benchmarking changes with tools like `@arktype/attest`. The "BAM" method involves creating a new branch for each experiment, adjusting the code based on a hypothesis, and then benchmarking the changes to measure their impact. Additionally, some general advice can be provided, such as preferring interfaces over intersections, naming conditional types, moving expensive generic expressions into generics, and rearranging conditionals to make the most expensive or common cases cheaper. The development of new performance tools, such as measuring language server wall time, tracing language server performance, providing performance-specific guidance through linters, and refactoring tools at the type level, would further improve the process of improving type inference performance.

The text delves into the intricacies of optimizing TypeScript's type-checking performance, a challenging aspect for developers often leading to issues like sluggish IDE responsiveness and compiler crashes. It describes the complexity of troubleshooting type-checking issues, given that traditional debugging techniques are ineffective since type checking occurs at build time. The article shares insights from a recent performance regression faced by the authors due to changes in TypeScript 5.3's type inference algorithm, which significantly impacted their test suite and necessitated devising a strategy for measuring and improving type inference performance. By employing tools like --extendedDiagnostics, --generateTrace, and the @arktype/attest package, the authors were able to quantify type-checker workload through metrics such as type instantiations, ultimately developing a method dubbed "BAM" (Branch, Adjust, Measure) to iteratively refine code for better performance. The guide also offers general advice for optimizing TypeScript type performance, including using interfaces over intersections, naming conditional types, and considering the order of conditionals, while advocating for the development of more advanced performance tools to aid in this endeavor.