Skip to main content

principle-type-system-discipline

不正な状態を表しにくい型、境界のパース、網羅的な分岐を設計する。型付き言語の実装・シグネチャのレビューに使う。

来源信息

仓库
hasegama/pstack-claude
最近来源活动
2026年10月4日 12:15
检测到的 SKILL.md 语言
日语
星标
0
分支
0

安装方式

默认使用会先检查来源的 Prompt;你也可以切换为直接命令,或下载本地副本。

检查来源文件

决定是否安装前,请先阅读 SKILL.md,以及 SkillsMP 当前展示的配套文件。

正在显示 SKILL.md

SKILL.md
来源说明 · 只读预览
name
principle-type-system-discipline
description
不正な状態を表しにくい型、境界のパース、網羅的な分岐を設計する。型付き言語の実装・シグネチャのレビューに使う。
最初に [Claude 用の読み替え](${CLAUDE_PLUGIN_ROOT}/pstack/runtime.md)、続いて [原文](${CLAUDE_PLUGIN_ROOT}/upstream/pstack/skills/principle-type-system-discipline/SKILL.md) を全文読む。 読み替えを原文と参照資料に適用し、ユーザーの依頼または親から渡された対象について作業する。参照資料・スクリプトの相対パスは原文の場所から解決する。
在 GitHub 查看