TGViewer
ProverCoderAI ProverCoderAI @provercoderai · 470 subscribers
Post #12 822
ProverCoderAI Во всём остальном питон для ИИ кодинга это худший выбор (Об этом тоже будет)
Теперь хочу написать почему Python это ХУДШИЙ выбор для вайбкодинга
ОН ОЧЕНЬ СЛОЖНЫЙ
Нет, ну это серьёзно

В нём из коробки встроена динамическая типизация (И это не только Any тип)
Ну там просто всё построено на Dict
Ещё есть уйму других конструкций которые можно юзать для динамической типизации: cast(), hasattr, astibute
Это ужасно и это даже статическими анализаторами сложно закрыть

Но ок синтаксические конструкции
На питоне 99% дата сета написано с помощью динамической типизации
Он просто всегда будет пытаться генерировать динамически типизированный код
Это постоянные ошибки, которые приводят к циклической зависимости (Постоянно удаляет динамическую типизацию и добавляет)
Ещё на питоне ОЧЕНЬ большое количество библиотек с динамической типизацией

Так же линтер не очень хороший у питона
Сложно питон прувать

Ну и отображение ошибок у питона тоже не очень
Вот пример качественных ошибок: https://t.me/ProverCoderAI/9 (Это Rust cтиль ошибок. Кстати прикольно его ещё реализовали в языке Gleam)
Это стиль ошибок, когда ошибка говорит как себя исправить

Всё это приводит к долгой обратной связи и БОЛЬШОЙ ЧЕЛОВЕЧЕСКОЙ РАБОТЕ

Чуть позже напишу мысли про Rust, Gleam и функциональные языки программирования (Почему за ними будущее для вайбкодинга)
Так же возможно затрону TypeScript и C#
Telegram ProverCoderAI Если кто-то задался вопросом что эт за ошибка то такая с контекстом Это мой SMB анализатор Он нужен для продвинутого контекста NotFound ошибки Сама ошибка "NotFound" заводит LLM в ступор и не объясняет как исправить её (только гадать) Я решил это исправить…
  • 👍 7
  • ❤ 2
  • 🤪 2
  • 🤝 1
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 →