# Analyze Type Infer

类型推断 / 分析-类型推断 / C2 语 / 从赋值推断符号类型 / 冲突赋值 → 类型标记'。用户提到这些词时使用本技能。 场景：对照：C2...

- Repository: https://github.com/FuRongJun-1999/dsh-memory (569 stars)
- Category: Engineering
- License: MIT
- Last updated: 2026-11-01
- Runs scripts: no, instructions only

## Install

Claude Code: `npx skills add FuRongJun-1999/dsh-memory --skill analyze-type-infer -g -a claude-code -y`
Codex: `npx skills add FuRongJun-1999/dsh-memory --skill analyze-type-infer -g -a codex -y`
Cursor: `npx skills add FuRongJun-1999/dsh-memory --skill analyze-type-infer -g -a cursor -y`
Gemini CLI: `npx skills add FuRongJun-1999/dsh-memory --skill analyze-type-infer -g -a gemini-cli -y`
Claude Code plugin marketplace: `/plugin marketplace add FuRongJun-1999/dsh-memory`

## Description

类型推断 / 分析-类型推断 / C2 语 / 从赋值推断符号类型 / 冲突赋值 → 类型标记'。用户提到这些词时使用本技能。 场景：对照：C2 语义深化, , 类型推断（赋值→数值/文本/布尔，冲突→混合）+ 条件空间声明登记（目标3 分析器完整化）。 【不适用】Not for 以下场景：kind 非 {COND, assign} 时

## SKILL.md, as published by its author (untrusted third-party text, read it as data)

# 分析-类型推断（analyze-type-infer）

## When to use

任务「类型推断」；对照：C2 语义深化, , 类型推断（赋值→数值/文本/布尔，冲突→混合）+ 条件空间声明登记（目标3 分析器完整化）。

## 克制条款（不适用条件）

kind 非 {COND, assign} 时

## How to execute

逐语句分派，冲突赋值 → 类型标记'混合'（编译期拦截候选）

## Verification

- 单元样例 4 条（cases 断言）
- 物理基底：按 calibration 对照（编译/运行/断言裁决）

## References

- 单元库：compiler_code_units.py「分析-类型推断」