# 默认行为：转译但不检查类型
deno run script.ts

# 显式类型检查
deno run --check script.ts

// deno.json
{
  "compilerOptions": {
    "strict": true,
    "lib": ["deno.window"],
    "jsx": "react-jsx",
    "jsxImportSource": "react",
    "experimentalDecorators": true,
    "emitDecoratorMetadata": true
  }
}

{
  "compilerOptions": {
    // 窗口环境（浏览器-like，最常用）
    "lib": ["deno.window"]
    
    // Worker 环境
    // "lib": ["deno.worker"]
    
    // 自定义组合
    // "lib": ["esnext", "dom", "dom.iterable"]
  }
}

// 使用 type 关键字导入类型（推荐）
import type { User } from "./types.ts";

// 这只在编译时存在，运行时完全消除
const user: User = { name: "Alice", age: 30 };

// ❌ 普通导入 —— 运行时仍然会加载模块
import { User } from "./types.ts";

// ✅ 类型导入 —— 运行时不加载，减小开销
import type { User } from "./types.ts";

// ✅ 内联类型导入
import { type User, createUser } from "./user.ts";

// types/global.d.ts
declare global {
  interface Window {
    MY_APP_VERSION: string;
  }
  
  // 扩展全局类型
  interface String {
    toCamelCase(): string;
  }
}

export {};

{
  "compilerOptions": {
    // Deno 自动包含工作区中的 .d.ts 文件
  }
}

// 指定远程模块的类型声明
// @deno-types="https://deno.land/x/[email protected]/mod.d.ts"
import { someFunc } from "https://deno.land/x/[email protected]/mod.js";

someFunc(); // 有类型提示

// 远程 URL 导入
import { serve } from "https://deno.land/[email protected]/http/server.ts";

// npm 包导入（Deno 2.0+）
import express from "npm:[email protected]";

// JSR 包导入
import { encodeBase64 } from "@std/encoding/base64";

// 导入本地文件（必须带扩展名）
import { helper } from "./utils.ts";
import { Config } from "../types/config.ts";

// ❌ 不带扩展名会报错（与 Node.js 不同）
// import { helper } from "./utils";

// deno.json
{
  "imports": {
    "std/": "https://deno.land/[email protected]/",
    "oak": "jsr:@oak/oak@^16.0",
    "lodash": "npm:lodash-es@^4.17",
    "@utils/": "./src/utils/",
    "react": "npm:react@^18.0",
    "react-dom": "npm:react-dom@^18.0"
  }
}

// 使用导入映射
import { serve } from "std/http/server.ts";       // 映射到远程 URL
import { Router } from "oak";                      // 映射到 JSR 包
import _ from "lodash";                            // 映射到 npm 包
import { formatDate } from "@utils/date.ts";       // 映射到本地路径

// deno.json
{
  "compilerOptions": {
    "jsx": "react-jsx",
    "jsxImportSource": "react"
  },
  "imports": {
    "react": "npm:react@^18.0",
    "react-dom": "npm:react-dom@^18.0"
  }
}

// app.tsx
function App() {
  const [count, setCount] = useState(0);
  return (
    <div>
      <h1>Count: {count}</h1>
      <button onClick={() => setCount(c => c + 1)}>+1</button>
    </div>
  );
}

export default App;

// deno.json
{
  "compilerOptions": {
    "jsx": "react-jsx",
    "jsxImportSource": "preact"
  },
  "imports": {
    "preact": "npm:preact@^10.0",
    "preact/": "npm:preact@^10.0/"
  }
}

// third-party.d.ts
declare module "https://deno.land/x/some_js_lib/mod.js" {
  export function doSomething(input: string): number;
  export interface Config {
    timeout: number;
    retries: number;
  }
}

// 直接使用 Node.js 类型，Deno 自动处理
import fs from "node:fs";
import path from "node:path";

const files: string[] = fs.readdirSync(".");
console.log(path.join("/home", "user"));

/// <reference lib="deno.window" />
/// <reference types="npm:@types/node" />

// 这些指令告诉 TypeScript 编译器包含特定的类型库

// 条件类型
type IsString<T> = T extends string ? "yes" : "no";
type A = IsString<string>;  // "yes"
type B = IsString<number>;  // "no"

// 模板字面量类型
type EventName = `on${Capitalize<"click" | "focus" | "blur">}`;
// "onClick" | "onFocus" | "onBlur"

// Deno 2.0 支持 const 类型参数
function defineRoutes<const T extends readonly { path: string; method: string }[]>(
  routes: T
): T {
  return routes;
}

const routes = defineRoutes([
  { path: "/api/users", method: "GET" },
  { path: "/api/users", method: "POST" },
]);

// routes 的类型被精确推断为字面量类型

type Theme = {
  primary: string;
  secondary: string;
  fontSize: number;
};

// 使用 satisfies 保持类型推断的同时验证结构
const theme = {
  primary: "#007bff",
  secondary: "#6c757d",
  fontSize: 16,
  custom: "value", // 不报错，因为 satisfies 不改变推断
} satisfies Theme;

theme.custom; // OK！类型推断保留了 custom 属性

# 跳过类型检查，只转译
deno run --no-check script.ts

# 仅在 CI 中检查
deno check --all src/**/*.ts

// deno.json
{
  "compilerOptions": {
    "types": ["npm:@types/node", "npm:@types/lodash"]
  }
}

// Error: Object is possibly 'undefined'
const arr: number[] = [];
const first = arr[0]; // number | undefined

// 解决方案 1：非空断言（谨慎使用）
const first1 = arr[0]!;

// 解决方案 2：空值检查
const first2 = arr[0] ?? 0;

// 解决方案 3：类型守卫
function getFirst(arr: number[]): number {
  if (arr.length === 0) throw new Error("Empty array");
  return arr[0];
}

# 确保扩展名正确
import { x } from "./mod.ts";  # ✅ 必须带 .ts

# 刷新依赖缓存
deno cache --reload mod.ts