TGViewer
ProverCoderAI ProverCoderAI @provercoderai · 470 subscribers
Post #17 1.02K
Нашёл интересную тулу TypeStat
На изображении приложил то что она делает

Если кратко то проходит по коду и там где тип "any" то он просто его убирает пытаясь описать тип исходя из дерева кода
-  createdAt: string;
+ createdAt: string | string | number | Date | string | number | Date;

-function KnowledgeCard({ item, query }: { item: SearchKnowledge; query: string }) {
+function KnowledgeCard({ item, query }: { item: SearchKnowledge | string; query: string key?: string;
+})


Для легаси проекто с большим количество динамической типизации как по моему идеально

Особенно что бы фиксить многие баги от LLM

Типо можно применять что бы тула сперва сгенерировала типы, а потом LLMку улучшить читаемость кода
И она уберёт эти большие типы перечисленные через "|"

Единственный минус: долго работает (пару минут) из-за этого на каждом изменении кода не прогонишь её
  • 👍 4
  • ❤ 2
More from @provercoderai
  1. Sep 9, 2026Всем привет Делаем ивент в Батуми по вайбкодингу в партнёрстве с NEAR https://t.me/evoluti…
  2. Aug 26, 2026У знакомых открыта вакансия: External Test Lab & Community DevNet Мы занимаемся тестирован…
  3. Jul 12, 20269 июля был оффлайн спикером https://t.me/evolutionofcodetbilisi/1/16012 Доклад тот же что…
  4. Jun 26, 2026Делаю инструмент rust-android-connection Он позволяет через браузер сделать тунель к телеф…
  5. Jun 25, 2026Был спикером в телеграм чате "Agent Coding" Ссылка на анонс https://t.me/agent_coding/1122…
  6. Jun 8, 2026Скоро выложу пост про разработку телеграм ботов А пока напишу, что тоже нахожусь в поиске…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →