AIKraft/AI/Войти
AIKraft/Skills/principle-type-system-discipline

principle-type-system-discipline

Применяйте при проектировании типов, проверке сигнатур функций и написании кода на статически типизированных языках. Делайте невозможные состояния не представимыми, брендируйте семантические примитивы, парсите внешние данные на границах, не обманывайте компилятор, исчерпывайте варианты, выводите из авторитетных схем.

backnotprop official Разработка ★ 1.1k

Что делает навык

Применяйте при проектировании типов, проверке сигнатур функций и написании кода на статически типизированных языках. Делайте невозможные состояния не представимыми, брендируйте семантические примитивы, парсите внешние данные на границах, не обманывайте компилятор, исчерпывайте варианты, выводите из авторитетных схем.

Как подключить

1Скачать навык
# возьмите папку навыка «backnotprop-principle-type-system-discipline» из репозитория: # https://github.com/backnotprop/pstack
2Положить папку с SKILL.md к навыкам ассистента
# положите папку навыка туда, где ассистент ищет skills: cp -r backnotprop-principle-type-system-discipline/ ~/.claude/skills/backnotprop-principle-type-system-discipline/

Навык — папка с файлом SKILL.md (описание + инструкции) и опциональными скриптами. Ассистент (Claude, Claude Code и совместимые) подхватывает его по описанию и следует шагам.