Что такое parse-dont-validate?
Проверка кода и помощь в проектировании на основе принципа «Разбор, а не проверка». Преобразует шаблоны проверки (проверка и отбрасывание результата) в шаблоны синтаксического анализа (сохранение результатов проверки в типах), продвигая проекты, обеспечивающие соблюдение инвариантов через систему типов. Используйте при улучшении функций проверки во время проверки кода, новой реализации или рефакторинга. Целевые языки: Rust, Haskell, TypeScript, Scala, Java, Go, Python. Запускается запросами безопасности типов, такими как «улучшить проверку», «гарантировать с типами», «исправить дробный анализ», «предотвратить недопустимые состояния с типами» или «уменьшить количество Maybes». Источник: j5ik2o/okite-ai.