分析-类型推断（analyze-type-infer）
SkillDocs & knowledge类型推断 / 分析-类型推断 / C2 语 / 从赋值推断符号类型 / 冲突赋值 → 类型标记'。用户提到这些词时使用本技能。 场景：对照：C2 语义深化——类型推断（赋值→数值/文本/布尔，冲突→混合）+ 条件空间声明登记（目标3 分析器完整化）。 【不适用】Not for 以下场景：kind 非 {COND, assign} 时
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 分析-类型推断（analyze-type-infer） 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/analyze-type-infer/SKILL.md and read by ahel’s review.
When to use
任务「类型推断」；对照：C2 语义深化——类型推断（赋值→数值/文本/布尔，冲突→混合）+ 条件空间声明登记（目标3 分析器完整化）。
克制条款（不适用条件）
kind 非 {COND, assign} 时
How to execute
逐语句分派，冲突赋值 → 类型标记'混合'（编译期拦截候选）
Verification
- 单元样例 4 条（cases 断言）
- 物理基底：按 calibration 对照（编译/运行/断言裁决）
References
- 单元库：compiler_code_units.py「分析-类型推断」
Signals
- GitHub stars
- 164
- Forks
- 11
- Last commit
- Sep 2026
Advanced
- Catalog kind
- skill
- Gateway key
analyze-type-infer- Source
- github.com/furongjun-1999/dsh-memory