弃坑警告:typescript-tslint-plugin 与 vscode-typescript-tslint-plugin
本项目 typescript-tslint-plugin 现已废弃,但它的精神仍在两个新的仓库中延续:
- Microsoft/typescript-tslint-plugin - 官方维护的 TypeScript 插件语言服务。
- Microsoft/vscode-typescript-tslint-plugin - 针对 VSCode 的扩展插件。
这是一个关于历史和致敬的章节,感谢所有参与其中的开发者们,尤其是 Microsoft 团队,以及那些曾贡献力量的人们。
tslint-language-service:曾经的时代翘楚
tslint-language-service 是一个 TypeScript 的语言服务插件,它整合了著名的静态代码检查工具 tslint。通过这个项目,开发人员可以在编译期间享受到即时的错误检测和警告提示。
项目特性包括:
- 类型安全的规则检查
- 整合 TypeScript 语言服务,提高性能
- 配置选项丰富,适应不同需求
技术剖析
该插件利用 TypeScript 自身的 语言服务插件 功能,无缝集成到你的开发环境中。在安装后,只需简单配置 tsconfig.json 文件,即可启用。对于较早版本的 TypeScript,还需要借助 tsserver-plugins 来运行服务器。
此外,由于 no-unused-variable 规则的实现问题,插件会默认禁用这一规则,建议使用 TypeScript 编译器的 noUnusedLocals 和 noUnusedParameters 选项代替。
应用场景
无论你是 VSCode 用户,还是其他如 Sublime Text 或 Eclipse 开发者,只要你的编辑器支持 TypeScript 的 tsserver,就可以享用这个插件带来的便利。例如,在 Eclipse 中,配合 typescript.java,你可以轻松创建 TypeScript 工程并集成此插件。
编辑器支持
VSCode
旧版 VSCode(1.16.1 及以上)需要确保不安装或禁用 vscode-tslint 扩展,以避免重复校验。然后在工作空间内通过 npm 安装相关依赖,并切换到本地 TypeScript 版本。这样便可以利用 tslint-language-service 实现高效的实时编码检查。
Eclipse
在 Eclipse 中,可通过安装 typescript.java 并使用 TypeScript 项目向导来配置这个插件。这是让 Eclipse 拥有强大类型检查和 linting 能力的好方法。
其他
其他支持 tsserver 的编辑器都可以考虑采用这个插件以增强 TypeScript 代码质量控制。
开发环境搭建
如果你有兴趣进行开发或测试,可在 dev 目录下找到示例项目、tsconfig.json 以及用于测试的文件。通过 npm run devtest 编译插件,并修改测试项目中的 TypeScript 版本来使用插件。
若要调试,可以分别用两台 VSCode,一台作为开发环境,另一台配置为调试器。在调试器 VSCode 中设置 TSS_DEBUG 环境变量为端口 5859,然后打开 dev 目录,按下 F5 即可开始调试。
虽然原项目已经停止更新,但是其思想和技术基础已被新一代的项目继承。在追求更好的代码质量和更高效的工作流的路上,这些工具仍然是我们不可或缺的一部分。我们期待着在新的时代背景下,它们能够继续为我们带来惊喜和帮助。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C039
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C00
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0120
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00