TypeScriptの使用

Denoは、実行時にファーストクラス言語としてJavaScriptとTypeScriptの両方をサポートします。つまり、拡張子（または正しいメディアタイプを提供するサーバー）を含む完全修飾モジュール名が必要です。さらに、Denoには「魔法の」モジュール解決策がありません。代わりに、インポートされたモジュールは、ファイル（拡張子を含む）または完全修飾URLインポートとして指定されます。 Typescriptモジュールは直接インポートできます。例えば：

import { Response } from "https://deno.land/std@0.65.0/http/server.ts";
import { queue } from "./collections.ts";

`--no-check` オプション

deno run、deno test、deno cache、deno info、deno bundleを使用する場合、--no-checkフラグを指定してTypeScriptタイプのチェックを無効にすることができます。これにより、プログラムの起動にかかる時間を大幅に短縮できます。これは、エディタによって型チェックが提供され、起動時間をできるだけ速くしたい場合（ファイルウォッチャーでプログラムを自動的に再起動する場合など）に非常に役立ちます。

--no-checkはTypeScriptの型チェックを行わないため、型情報が必要になるため、型のみのインポートとエクスポートを自動的に削除することはできません。この目的のために、TypeScriptはimportタイプとexportタイプの構文を提供します。タイプを別のファイルにエクスポートするには、export type {AnInterface} from "./mod.ts";を使用します。タイプをインポートするには、 import type { AnInterface } from "./mod.ts";を使用します。 importsNotUsedAsValues TypeScriptコンパイラオプションを"error"に設定することで、必要に応じてインポートタイプとエクスポートタイプを使用していることを確認できます。このオプションを使用したtsconfig_test.jsonの例は、標準ライブラリ内にあります。

--no-checkを使用すると型情報がないため、const enumは型の指定であるためサポートされません。--no-checkは、従来のimport =およびexport =構文もサポートしていません。

外部型定義の使用

ただし、標準のTypeScriptコンパイラは、JavaScriptモジュールにタイプを適用するために、拡張機能のないモジュールとNode.jsモジュール解決ロジックの両方に依存しています。

このギャップを埋めるために、Denoは「魔法の」解決に頼ることなく型定義ファイルを参照する3つの方法をサポートしています。

コンパイラーへのヒント

JavaScriptモジュールをインポートしていて、そのモジュールの型定義の場所がわかっている場合は、インポート時に型定義を指定できます。これでコンパイラへヒントを与えた形になります。コンパイラーへのヒントは、.d.tsファイルの場所と、それらが関連付けられているインポートされたJavaScriptコードをDenoに通知します。ヒントは@deno-typesであり、指定すると、JavaScriptモジュールの代わりにコンパイラで値が使用されます。

例えば、foo.jsがあったが、それに加えてファイルのタイプであるfoo.d.tsであることがわかっている場合、コードは次のようになります:

// @deno-types="./foo.d.ts"
import * as foo from "./foo.js";

値は、モジュールのインポートと同じ解決ロジックに従います。つまり、ファイルには拡張子が必要であり、現在のモジュールに対して相対的です。リモート指定子も使用できます。

ヒントは、@deno-typesの値が、指定されたモジュールの代わりにコンパイル時に置換される次のimportステートメント（またはexport ... fromステートメント）に影響します。上記の例のように、Denoコンパイラは./foo.jsではなく./foo.d.tsをロードします。 Denoはプログラムの実行時に./foo.jsを引き続きロードします。

JavaScriptファイルのトリプルスラッシュ参照ディレクティブ

Denoで使用するモジュールをホストしていて、型定義の場所についてDenoに通知する場合は、実際のコードでトリプルスラッシュディレクティブを使用できます。例えば、JavaScriptモジュールがあり、そのファイルの横にある型定義の場所をDenoに提供する場合、foo.jsという名前のJavaScriptモジュールは次のようになります。：

/// <reference types="./foo.d.ts" />
export const foo = "foo";

Denoはこれを確認し、コンパイラはファイルの型チェック時にfoo.d.tsを使用しますが、foo.jsは実行時にロードされます。ディレクティブの値の解決は、モジュールのインポートと同じ解決ロジックに従います。つまり、ファイルには拡張子が必要であり、現在のファイルに対して相対的です。リモート指定子も使用できます。

X-TypeScript-Types カスタムヘッダー

Denoによって使用されるモジュールをホストしていて、Denoに型定義の場所を通知する場合は、X-TypeScript-TypesのカスタムHTTPヘッダーを使用して、そのファイルの場所をDenoに通知できます。

ヘッダーは、前述のトリプルスラッシュリファレンスと同じように機能します。つまり、JavaScriptファイル自体のコンテンツを変更する必要がなく、型定義の場所をサーバー自体が決定できることを意味します。

すべての型定義がサポートされているわけではありません。

Denoはコンパイラヒントを使用して、指定された.d.tsファイルをロードしますが、一部の.d.tsファイルにはサポートされていない機能が含まれています。具体的には、一部の.d.tsファイルは、モジュール解決ロジックを使用して、他のパッケージから型定義をロードまたは参照できると想定しています。例えば、nodeを含める型の参照ディレクティブは、。./node_modules/@types/node/index.d.tsのようなパスに解決されることを期待しています。これは相対的でない「魔法の」解像度に依存するため、Denoはこれを解決できません。

TypeScriptファイルでトリプルスラッシュタイプの参照を使用しないのはなぜですか？

TypeScriptコンパイラは、型の参照ディレクティブを含むトリプルスラッシュディレクティブをサポートします。 Denoがこれを使用した場合、TypeScriptコンパイラの動作に干渉します。 DenoはJavaScript（およびJSX）ファイルでディレクティブを検索するだけです。

カスタムTypeScriptコンパイラオプション

Denoエコシステムでは、デフォルトでstrict(=厳格)であるというTypeScriptの理想に準拠するために、すべての厳格なフラグが有効になっています。ただし、カスタマイズをサポートする方法を提供するために、プログラムの実行時にtsconfig.jsonなどの構成ファイルがDenoに提供される場合があります。

アプリケーションを実行するときに-C（または--config）引数を設定して、この構成を探す場所をDenoに明示的に指示する必要があります。

deno run -c tsconfig.json mod.ts

以下は、現在Denoで許可されている設定とそのデフォルト値です：

{
  "compilerOptions": {
    "allowJs": false,
    "allowUmdGlobalAccess": false,
    "allowUnreachableCode": false,
    "allowUnusedLabels": false,
    "alwaysStrict": true,
    "assumeChangesOnlyAffectDirectDependencies": false,
    "checkJs": false,
    "disableSizeLimit": false,
    "generateCpuProfile": "profile.cpuprofile",
    "jsx": "react",
    "jsxFactory": "React.createElement",
    "lib": [],
    "noFallthroughCasesInSwitch": false,
    "noImplicitAny": true,
    "noImplicitReturns": true,
    "noImplicitThis": true,
    "noImplicitUseStrict": false,
    "noStrictGenericChecks": false,
    "noUnusedLocals": false,
    "noUnusedParameters": false,
    "preserveConstEnums": false,
    "removeComments": false,
    "resolveJsonModule": true,
    "strict": true,
    "strictBindCallApply": true,
    "strictFunctionTypes": true,
    "strictNullChecks": true,
    "strictPropertyInitialization": true,
    "suppressExcessPropertyErrors": false,
    "suppressImplicitAnyIndexErrors": false,
    "useDefineForClassFields": false
  }
}

許可される値と使用例に関するドキュメントについては、typescript docsをご覧ください。.

注意：上記にリストされていないオプションは、Denoでサポートされていないか、TypeScriptドキュメントで非推奨/実験的としてリストされています。

Deno 日本語マニュアル