Visual Studio Code HTML 语言服务安装与使用教程
本教程将引导您了解并设置 Microsoft/vscode-html-languageservice 项目,这是一个用于提供 HTML 语言智能支持的库,可以被 Visual Studio Code 和 Monaco 编辑器等工具集成使用。
1. 项目目录结构及介绍
.
├── build # 构建产出文件
├── docs # 文档相关材料
├── src # 源代码目录
│ ├── editorconfig # EditorConfig 配置
│ ├── eslint # ESLint 相关配置
│ ├── gitignore # .gitignore 文件
│ ├── mocharc.json # Mocha 测试配置
│ ├── npmignore # .npmignore 文件
│ ├── prettierrc.json # Prettier 格式化配置
│ └── ... # 其他源码文件
├── CHANGELOG.md # 更新日志
├── LICENSE.md # 许可证文件
├── README.md # 项目读我文件
├── SECURITY.md # 安全政策
├── package-lock.json # 包锁定文件
└── package.json # 项目包定义文件
目录结构主要包括源代码、构建产出、文档和配置文件。src 目录是核心代码存储地,其他如 build 存放构建结果,docs 有项目相关的文档,而 .editorconfig, .eslint, .gitignore, .mocharc.json, .npmignore, .prettierrc.json 等是开发辅助工具的配置。
2. 项目的启动文件介绍
该项目主要用于服务端,不包含可以直接运行的应用程序。主要的入口点在于源码中的 src 文件夹,尤其是 htmlLanguageService.ts 文件,它提供了 HTML 语言服务的核心功能。当你在自己的应用中集成这个库时,将会通过导入这个模块来创建和使用 HTML 语言服务。
例如,您可以使用以下方式引入和初始化服务:
import { createHTMLLanguageService } from 'vscode-html-languageservice';
const htmlService = createHTMLLanguageService();
3. 项目的配置文件介绍
package.json
这是项目的主配置文件,包含了项目的基本信息、依赖和脚本命令。例如,你可以看到项目使用的 typescript 和 vscode-languageserver-node 等依赖,以及像 npm test 这样的测试脚本:
{
"name": "vscode-html-languageservice",
...
"dependencies": {
"@types/json-schema": "^7.0.9",
"vscode-languageserver-types": "^3.15.3"
},
"devDependencies": {
"@typescript-eslint/eslint-plugin": "^5.18.0",
"@typescript-eslint/parser": "^5.18.0",
"eslint": "^8.16.0",
"mocha": "^9.2.0",
"typescript": "^4.8.2"
},
"scripts": {
"test": "tsc && node ./out/test/main.js"
}
}
.eslintrc.json
.eslintrc.json 是 ESLint 的配置文件,用于代码风格检查和规范。
tsconfig.json
可能存在于项目根目录下(但在这个案例中没有显示),tsconfig.json 文件定义 TypeScript 编译选项,指导 tsc 编译器如何处理源代码。
其他配置文件
其他如 .editorconfig, .gitignore, .npmignore 等文件则分别用于跨编辑器代码风格一致性、Git 忽略规则和 npm 发布时要忽略的文件列表。
完成上述步骤后,您就可以开始在您的项目中集成并使用 vscode-html-languageservice 提供的功能了。如果您想要进一步了解或贡献到此项目,阅读仓库中的 README.md 和相关文档会有很大帮助。
AutoGLM-Phone-9BAutoGLM-Phone-9B是基于AutoGLM构建的移动智能助手框架,依托多模态感知理解手机屏幕并执行自动化操作。Jinja00
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
GLM-4.6V-FP8GLM-4.6V-FP8是GLM-V系列开源模型,支持128K上下文窗口,融合原生多模态函数调用能力,实现从视觉感知到执行的闭环。具备文档理解、图文生成、前端重构等功能,适用于云集群与本地部署,在同类参数规模中视觉理解性能领先。Jinja00
HunyuanOCRHunyuanOCR 是基于混元原生多模态架构打造的领先端到端 OCR 专家级视觉语言模型。它采用仅 10 亿参数的轻量化设计,在业界多项基准测试中取得了当前最佳性能。该模型不仅精通复杂多语言文档解析,还在文本检测与识别、开放域信息抽取、视频字幕提取及图片翻译等实际应用场景中表现卓越。00
GLM-ASR-Nano-2512GLM-ASR-Nano-2512 是一款稳健的开源语音识别模型,参数规模为 15 亿。该模型专为应对真实场景的复杂性而设计,在保持紧凑体量的同时,多项基准测试表现优于 OpenAI Whisper V3。Python00
GLM-TTSGLM-TTS 是一款基于大语言模型的高质量文本转语音(TTS)合成系统,支持零样本语音克隆和流式推理。该系统采用两阶段架构,结合了用于语音 token 生成的大语言模型(LLM)和用于波形合成的流匹配(Flow Matching)模型。 通过引入多奖励强化学习框架,GLM-TTS 显著提升了合成语音的表现力,相比传统 TTS 系统实现了更自然的情感控制。Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00