编译-类型检查（compile-type-check）
SkillDocs & knowledge类型检查 / 编译-类型检查 / C2 语 / 类型检查编译 / 先类型推断 → 未推断/ / infer_fn 注 / 分析-类型推断）。用户提到这些词时使用本技能。 场景：对照：C2 语义深化——类型推断接入编译管线（未推断/混合类型符号使用→编译期拦截，目标3 分析器完整化）。 【不适用】Not for 以下场景：t 非 {混合} 时
Available today. Use it from your connected AI after setup.
No other account needed.
Connect ahel once, and every AI you use reads what you have installed.
Then ask your AI: use the 编译-类型检查（compile-type-check） skill
What this skill tells your AI
The instructions your AI receives, as published by furongjun-1999/dsh-memory in skills/skills/lingshu-compiler/units/compile-type-check/SKILL.md and read by ahel’s review.
When to use
任务「类型检查」；对照：C2 语义深化——类型推断接入编译管线（未推断/混合类型符号使用→编译期拦截，目标3 分析器完整化）。
克制条款（不适用条件）
t 非 {混合} 时
How to execute
按 op 分派；循环迭代；顺序调用
Verification
- 单元样例 3 条（cases 断言）
- 物理基底：按 calibration 对照（编译/运行/断言裁决）
References
- 单元库：compiler_code_units.py「编译-类型检查」
Signals
- GitHub stars
- 164
- Forks
- 11
- Last commit
- Sep 2026
Advanced
- Catalog kind
- skill
- Gateway key
compile-type-check- Source
- github.com/furongjun-1999/dsh-memory