TypeScript 5.5からは関数からType predicatesの型推論が有効になるよ！

去る2024年4月25日にTypeScript 5.5 ベータ版リリースの情報が発表されました。 どうやら今回の目玉機能は、『推論されたtype predicate』ということです。 この記事では、これまでとこれからでtype predicateがどのように変わるのかをお話ししたいと思います。 環境の用意 これまでの動作を確認するための環境は、既に用意していた別プロジェクトのランタイムを利用しました。バージョンは5.1.6です。 ベータ版環境は新たに用意します。公式のリリースノートにもありますが、以下のコマンドを実行するだけです。 これでベータ版の実行環境ができたのですが、VSCodeさんが最新版の仕様で型推論を行なってくれません。 ので、調教強制的にいうことを聞かせます。 やり方は、適当なtsファイル開いてshift + cmd + p → typescript:Select Types

[ka-ka_xyz]

うーん。標準機能として入ったからにはそれ相応の需要と理由があるはずだけど、あんま良さげに見えないのと破壊的更新なんじゃね感があり。

[roshi]

Type predicateの仕組みもちっとなんとかならなかったのかな、、たったこれだけのために関数定義しないといけないのダルすぎる。