arkts-static-spec

用途：为阅读或编写 ArkTS（.ets）代码提供静态语言规范参考，并指导从 TypeScript 迁移到 ArkTS。主要能力：spec/ 目录按主题收录语言规范，包括类型系统（types.md）、类声明（classes.md）、表达式与运算符（expressions.md）、语句与控制流（statements.md）、泛型（generics.md）、注解与装饰器（annotations.md）、模块系统（modules.md）、词法结构（lexical.md）、声明与作用域（names.md）、类型转换（conversions.md）、接口（interfaces.md）、枚举（enums.md）、错误处理（errors.md）、并发与异步（concurrency.md）、标准库（stdlib.md）及实验性特性（experimental.md）；cookbook/ 提供迁移指南总览（index.md）、144+ 项迁移食谱（recipes.md）和 TypeScript 与 ArkTS 兼容性详情（compatibility.md）。使用方式：回答问题时严格依据 spec/ 与 cookbook/ 文档内容，不添加文档外假设或推断；文档未明确说明的内容需标注“skill 文档未明确说明，待使用者自行确认”。文档强调 ArkTS 是独立静态语言，不以 TypeScript 语法为准，不支持 any 和 unknown，必须使用显式类型，禁止运行时增删对象属性，数值语义与 TypeScript 存在差异（如整数除法），不支持对象解构、in 运算符、var、require 等。适用场景：查询 ArkTS 类型、面向对象、语法、泛型、模块、并发、装饰器、标准库与实验性特性，以及 TypeScript 迁移中的语法转换与兼容性问题。限制：资料未提供安装或调用该技能的具体命令、运行环境要求、许可与收费信息，这些内容暂未提供。