MPS — система типов и вывод типов

★ 7.9 · vibe-coding

mps-aspect-typesystem — это скилл для Claude Code, который помогает создавать и отлаживать систему типов в MPS-языке: правила вывода типов (`InferenceRule` с операторами `:==:` / `:<=:` / `:>=:`), правила подтипизации (`SubtypingRule`, `ComparisonRule`, `InequationReplacementRule`, `SubstituteTypeRule`), блоки `WhenConcreteStatement` для отложенной проверки, а также проверяющие правила `NonTypesystemRule` с сообщениями об ошибках и быстрыми исправлениями через `TypesystemQuickFix` и `helginsIntention`. Скилл охватывает полный рабочий цикл: создание модели `<lang>.typesystem`, добавление нужных языков, написание тел правил на BaseLanguage с smodel и collections, валидацию через `mps_mcp_check_root_node_problems`. Применяется всякий раз, когда задача касается редактирования файла `<lang>/languageModels/typesystem.mps`. Подходит разработчикам DSL, которым нужно задать семантику типов, настроить подсветку ошибок или подключить быстрые исправления в MPS.