こんにちは。株式会社HRBrainでフロントエンドエンジニアをしているしっぽくんです。
私たち HRBrain では週に1度30分、フロントエンドトークという「1週間の間に発見したフロントエンドに関するネタを共有もしくは相談する会」を社内で開催しています。
今回は公開第 6 回目です。過去の記事はこちら。
news
Announcing TypeScript 4.7
今週は先週に続き、TS4.7 の情報について深掘りをしていきました。
ECMAScript Module Support in Node.js
- 出来るようになったこと
- tsconfig の
compilerOptionsのmoduleにnode16とnodenextが設定できるようになった - それぞれ以下のようにトランスパイルできるようになった
-
.ts→.js -
.cts→.cjs -
.mts→.mjs
-
- tsconfig の
CommonJS modules と ECMAScript modules（以降、ES modules） について少し前提を整理してみました。
- 昨今の JS 界隈では上記の 2 つの modules 解釈が混在している状態。
-
.cjsはCommonJS modulesとして、.mjsはES modulesとして解釈される。 - Node14 からデフォルトで
ES modulesをサポートするようになった。- Node12 はデフォルトで
CommonJS modulesをサポート。
- Node12 はデフォルトで
- Node.js は
CJS-interopという機能を持っている。-
CJS-interop:CommonJS modulesとES modulesを相互互換にする機能 - この機能の仕様に
TypeScriptは準拠していなかった。- そのため、トランスパイルした後のファイルが別のものになっていたので、Node.js の
CJS-interopが使えなかった。
- そのため、トランスパイルした後のファイルが別のものになっていたので、Node.js の
- 今回 TS に追加された
compilerOptions.moduleへnode16ornodenextを指定し、.mtsと.ctsの拡張子を用いることで、それぞれが Node.js のCJS-interopが解釈できる各種 module 形式へ出力することが可能になりました。
-
-
package.jsonのtypeフィールドがmoduleの場合はES modules形式に、commonjsだったらCommonJS modules形式へトランスパイルされるようになりました。- このように
.tsファイルのトランスパイル形式の確定が、package.jsonのtypeフィールドへ委ねられるようになりました。
- このように
- また新しく追加された
exportsフィールドによってES modulesとCommonJS modulesそれぞれのエントリーファイルの指定に加え、型ファイルも各形式に則したファイルを指定できるようになりました。
extends Constraints on infer Type Variables
前回は infer の後に extends が使えるようになった程度のお話でしたが、今回はなぜ追加されたのか、詳細な仕様についてお話しました。
type Before<T> =
T extends [infer S, ...unknown[]]
? S extends string ? S : never
: never;
type BeforeResult = Before<['this', number, number]>;
type After<T> =
T extends [infer S extends string, ...unknown[]]
? S
: never;
type AfterResult = After<['this', number, string]>
この構文を提案した方が、この構文を入れることでこれらの場所で活用ができる！といくつかのプロダクトの該当箇所を提示しました。
この構文で気になったのが、 infer U extends hoge の後に三項演算子が記述できるのかどうかです。
提案時点ではいくつかの解釈方法がありました。
結果としては extends の仕様を担保するために、 infer U extends hoge ? と書いても構文としては解釈されますが、型としては機能しないものとなります。
いくつか例文がありますが、解釈されないことを示されています。
// ok, parsed as `infer..extends` (precedence wouldn't have parsed the `?` as part of a type operator)
type X4<T> = T extends keyof infer U extends number ? 1 : 0;
構文エラーは出ないため、予期せぬ解釈となってしまうことが予想されますが、今後のアップデートで変わっていくのかは要チェックですね。
atom の開発者が rust でエディタを作ってるらしい
GitHub がテキストエディタ「Atom」の開発停止を宣言しました。
記事の中で開発停止する経緯を述べています。
記事中に Atom のオリジナル開発者だった Nathan Sobo 氏が Rust で書かれた「Zed」というエディタを開発していることについても触れています。
まだドキュメントの公開までしかされていませんが、従来のものより優れたパフォーマンスを持つ可能性があるエディタの登場は我々エンジニアにとっては嬉しい事なので、要注目です。
リリースされたらまたフロントエンドトークで話題にしたいですね。
あとがき
HRBrain では毎週このような内容で会をしています。他にも様々なイベントごとを毎週実施しているので気になった方は下記のリンクをクリック！
Discussion