Node.jsでTypeScriptのコードを実行できるようになるかも

module: add --experimental-strip-types by marco-ippolito · Pull Request #53725 · nodejs/node

It is possible to execute TypeScript files by setting the experimental flag --experimental-strip-types. Node.js will transpile TypeScript source code into JavaScript source code. During the transpi...

github.com

💁‍♀️ まだマージされてない点に注意してください

--experimental-strip-typesというフラグを実行時に付けることにより、Node.jsでTypeScriptのコードを実行できるようになるPRが出てきました。

背景

TC39でも 型注釈の話題 (議事録を読むとブラウザとの兼ね合いもあり道のりは長そう)が存在するほどJSのコードにおいて、型は当たり前となっています。 Node.jsと同じ立ち位置であるDenoやBunはTypeScriptをネイティブサポートしていますが、Node.jsはサポートしていません。 なので普段、TypeScriptを利用するときには ts-node や tsx などのエグゼキューター、 esbuild-register のようなレジスターを利用するかと思います。 時代的に必須のものとなっている以上、Node.jsにもネイティブで入れていくべきでは？というのが背景となります。

どのように動作するか？

Node.jsの内部では、 @swc/wasm-typescript を動かし、 TypeScriptの型を落とします。swc/coreやesbuildも検討したとのことですが、RustやGolangをツールチェーンに追加しないといけなく、 Wasmとなりました。Node.jsはC++がベースなのでWasmは良い使い方だと感じます。結果的にDenoもRustベースでswcを利用しているので、似たようなアプローチになりました。

ちなみにtscは、8.5MBもあるので、利用しなかったとのことです。

案外、その内部実装はシンプルで、以下はCJSへの変換例です。ESMはもう少し複雑です。 内部のmodule loaderに.tsか.cts拡張子ならトランスパイルをするという処理が追加されています。

1
Module._extensions[".ts"] = function (module, filename) {
2
  const content = getMaybeCachedSource(module, filename);
3
  const { parseTScode } = require("internal/modules/typescript/typescript");
4
  const code = parseTScode(content);
5
  const pkg = packageJsonReader.getNearestParentPackageJSON(filename);
6
  // Function require shouldn't be used in ES modules.
7
  if (pkg?.data.type === "module") {
8
    if (getOptionValue("--experimental-require-module")) {
9
      module._compile(content, filename, "module");
10
      return;
11
    }
12
    const parent = module[kModuleParent];
13
    const parentPath = parent?.filename;
14
    const packageJsonPath = path.resolve(pkg.path, "package.json");
15
    const usesEsm = containsModuleSyntax(code, filename);
16
    const err = new ERR_REQUIRE_ESM(
17
      filename,
18
      usesEsm,
19
      parentPath,
20
      packageJsonPath,
21
    );
22
    throw err;
23
  }
24
  module._compile(code, filename, "commonjs");
25
};
26

27
Module._extensions[".cts"] = function (module, filename) {
28
  const content = getMaybeCachedSource(module, filename);
29
  const { parseTScode } = require("internal/modules/typescript/typescript");
30
  const code = parseTScode(content);
31
  module._compile(code, filename, "commonjs");
32
};

1
"use strict";
2

3
const { stringify } = require("internal/modules/helpers");
4
const { transformSync } = require("internal/deps/swc/wasm");
5

6
function parseTScode(source) {
7
  const result = transformSync(stringify(source), {
8
    mode: "strip-only",
9
  });
10
  return result;
11
}
12

13
module.exports = {
14
  parseTScode,
15
};

サポートされている拡張子も、.tsをはじめ.cts, .mtsが一部サポートされているので、変換後のJSはCJS、ESMのどちらにも対応しています。

注意点

まだ初期PRなので、今後改善されていくはずですが、現段階だと以下のような制限があります。

Support typescript with --experimental-strip-types · Issue #208 · nodejs/loaders

Add this issue to keep track of the work for supporting typescript out of the box, in the PR you can find documentation etc... The main idea is to use type-stripping. This is achieved ideally throu...

github.com

型検査ができない

tscを使ってないので、型が正しいかを確認することはできません。 このアプローチはNext.jsとかと同様であくまでもTypeScriptからJavaScriptへ変換するだけなので、tscは引き続き利用するかと思います。

1
const foo: string = 1;
2

3
console.log(foo);

sh $ ./node --experimental-strip-types index.ts 1

Node.jsもこの流れになると、またこれを機会に stc みたいなすごいチャレンジャーが出てくるかもしれません。

拡張子は省略できない

最初のリリース時は、拡張子を見てTSかどうかの判断を行うため、拡張子がない場合はエラーとなるだろうと思います。 理想的には、拡張子は書かなくても動くことなので、 nodejs/loaders側 でこれから議論がなされていきます。

1
// Error: Must use .ts extension when using TypeScript files
2
import { getDate } from "./getDate";
3

4
console.log(getDate());

1
node:internal/modules/run_main:121
2
triggerUncaughtException(
3
^
4

5
Error [ERR_MODULE_NOT_FOUND]: Cannot find module '/Users/hiroppy/node/getDate' imported from /Users/hiroppy/node/index.ts
6
Did you mean to import "./getDate.ts"?
7
at finalizeResolution (node:internal/modules/esm/resolve:260:11)
8
at moduleResolve (node:internal/modules/esm/resolve:921:10)
9
at defaultResolve (node:internal/modules/esm/resolve:1120:11)
10
at ModuleLoader.defaultResolve (node:internal/modules/esm/loader:557:12)
11
at ModuleLoader.resolve (node:internal/modules/esm/loader:526:25)
12
at ModuleLoader.getModuleJob (node:internal/modules/esm/loader:249:38)
13
at ModuleJob.\_link (node:internal/modules/esm/module_job:126:49) {
14
code: 'ERR_MODULE_NOT_FOUND',
15
url: 'file:///Users/hiroppy/node/getDate'
16
}
17

18
Node.js v23.0.0-pre

importするファイルに拡張子をつけると動きます。

1
import { getDate } from "./getDate.ts";
2

3
console.log(getDate());

sh 2024-07-07T13:22:29.663Z

TypeScript固有の機能は使えない

Enum, experimentalDecorators, namespacesなどのTypeScript固有の機能はサポートされていません。

1
enum Fruits {
2
  Apple,
3
  Orange,
4
  Pineapple,
5
}

1
node:internal/modules/run_main:121
2
triggerUncaughtException(
3
^
4
x TypeScript enum is not supported in strip-only mode
5
,-[1:1]
6
1 | ,-> enum Fruits {
7
2 | | Apple,
8
3 | | Orange,
9
4 | | Pineapple
10
5 | `-> };
11
   `----
12

13
(Use `node --trace-uncaught ...` to show where the exception was thrown)
14

15
Node.js v23.0.0-pre

その他

• REPL, --print, --check, inspectでは利用できない
• ソースマップがサポートされていない

まとめ

• まだマージされるかわからないが、Node.jsで直接TypeScriptのコードを実行できるようになるかもしれない
• 利用できる拡張子は、.ts, .cts, .mts
• 型検査は行えないので、別途tscを利用する必要がある
• 現段階では、拡張子を書かないとTypeScriptとして判断しない
• TypeScript固有の機能はサポートされていない

ファイル量によってはパフォーマンスの問題が出てしまうかもしれないですが、 将来的にnode_modules内のコードがTypeScriptで書かれている場合でもユーザーランドでトランスパイルせずに実行できるかもと思うと楽しみですね。 すでにissueとしてはこちらも上がっているので、今後も注目したい機能です。