3 Exciting New Features in TypeScript 5.5

In the world of TypeScript, new features are constantly added to upgrade the developer experience for all.

And today is no exception, because TypeScript Version 5.5 has been publicly announced!

In this article, we explore 3 game-changing features to prepare you for this new chapter of TypeScript.

Without further ado… Let’s dive right in!

Before we look at what this means, lets define what type predicates are.

Type Predicates in TypeScript are functions that return a boolean value and are used to narrow down the type of a variable.

Here is an example of a type predicate that narrows down the type of an input of type any to string:

Now that we understand what a type predicate is, where does the inferred part come in?

Imagine an array of numbers with only a single null value at index 3.

We apply the filter function to omit the null value.
We expect the type of nums to become number[] since the filtered array no longer contains a null value.

Unfortunately, this isn’t currently possible, hence the type of nums remains unchanged.

But TypeScript 5.5 fixes this!

In TS 5.5, the filter function implicitly calls a type predicate to precisely infer the type of the resulting array.

Here is an example of how the type predicate may look under the hood:

Another cool feature is the ability to validate regular expressions via the TypeScript type checker.

Here is a great example from the TS 5.5 announcement, where a syntax error is caught in a regular expression:

Furthermore, this feature is not limited to syntactic checks!

That’s right, the type checker can also catch semantic issues in your regex, such as non-existent backreferences as shown in this example:

TypeScript is now able to narrow down expressions of the form obj[key] if and only if obj and key are constant.

Here is an adapted example from the official TS 5.5 announcement:

Before, you couldn’t infer unknown Record values using indexed access.

In this case, using the typeof keyword would not infer the unknown type, therefore obj[key].toUpperCase() throws an error.

In TypeScript 5.5 this is fixed, and will no longer create issues in your code.

TypeScript 5.5 introduces many intriguing features, most of which are long awaited by the community.

From all these features, I outlined these 3 to emphasize the significance of this much needed upgrade.

If you enjoyed this article, please make sure to Subscribe, Clap, Comment and Connect with me today! 🌐