typesafe について
値の意味を、取得元から変換を経て最終利用まで保つための開発スキルです。プロジェクト標準の型や検証を使い、有効な入力と拒否すべき入力を確認します。
主な機能
- 01境界を越える値の追跡
- 02信頼できる情報源の特定
- 03標準の型とスキーマの利用
- 04受理・拒否する入力の確認
活用シーン
- 01システム境界でのデータ検証
- 02スキーマやジェネリック API の設計
インストール
コマンドをコピーしてターミナルで実行します。
$
npx skills add https:/インストール後、Claude Code で/typesafeを入力して読み込まれたか確認します。
同梱ファイルagents/openai.yamlreferences/guide.md
詳細
TypeSafe
値の意味を、取得元から最終的な使用箇所まで保ちます。実用的な範囲で無効な状態を表現しにくくし、主張する保証はすべて、それを実際に裏付ける型、契約、またはランタイムチェックと対応させます。
- 境界や変換をまたいで値を追跡します。
- 値の形状と意味に関する信頼できる情報源を特定します。
- プロジェクト固有の型、スキーマ、検証を、できるだけ狭い境界で使用します。
- 受け入れられる値と、重要な拒否対象の値や欠落値の両方を確認します。
汎用 API、スキーマ設計、移行、型とランタイムの不整合については、詳細なガイドをお読みください。
コメント
Markdown 対応