Ezno 项目中如何通过代码进行 TypeScript 类型检查

Ezno 是一个新兴的 TypeScript 类型检查工具，它提供了直接在 JavaScript 代码中运行类型检查的能力。本文将详细介绍如何使用 Ezno 的 WASM 版本进行代码类型检查。

基本使用方法

Ezno 提供了一个简单的接口来检查 TypeScript 代码的类型安全性。核心方法是 check 函数，它接收两个参数：

1. 文件名（用于错误报告）
2. 一个文件系统处理函数（用于解析导入）

import { check } from 'ezno/initialised';

const fs_handler = (_path) => "const x: string = t ? 4 : 5;";
const output = check("input.ts", fs_handler);

获取诊断信息

检查完成后，可以通过 .diagnostics 属性获取详细的类型检查结果：

console.dir(output.diagnostics, { depth: 5 });

诊断信息包含以下重要内容：

• 错误或警告的具体描述
• 错误在源代码中的位置（字节偏移量）
• 错误类型（通过 .kind 属性区分）

诊断信息详解

Ezno 生成的诊断信息非常详细，包含多个层级的数据：

1. 错误位置：精确到源代码中的字节位置
2. 错误类型：区分是错误、警告还是信息
3. 错误原因：详细说明类型不匹配的具体原因
4. 相关上下文：可能包含导致错误的表达式信息

实际应用建议

在实际项目中，建议对诊断信息进行过滤和处理：

1. 根据 .kind 属性区分错误严重程度
2. 将字节位置转换为行号和列号以便于开发者定位问题
3. 对错误信息进行格式化输出，提高可读性

高级功能

除了基本的类型检查外，Ezno 还提供了一些高级功能：

1. 类型查询：可以获取表达式的具体类型信息
2. 跨文件分析：通过文件系统处理函数支持多文件项目
3. 详细类型信息：对于复杂类型能提供详细的分解说明

总结

Ezno 为开发者提供了一个强大的工具，可以在运行时对 TypeScript 代码进行类型检查。通过简单的 API 调用，开发者可以集成类型检查到各种工具链中，如构建系统、测试框架或开发环境插件。其详细的诊断信息为代码质量保障提供了有力支持。