TGViewer
Лаборатория Математики и Программирования Сергея Бобровского Лаборатория Математики и Программирования Сергея Бобровского @lambda_brain · 1.41K subscribers
Post #993 1.17K
...и по СильнымИдеям:

Добавлен 80-й материал "Инварианты и качественный код".
Понятие инварианта (изучали на треке ООАП) неотделимо от качественного кода. Идея в том, что инвариант может быть нарушен только в том случае, если в вашей программе есть ошибка.
Мы как бы закладываем в программу некие неоспоримые утверждения, которые обязательно должны соблюдаться -- в идеале, на уровне невозможности компиляции кода, если инварианты нарушены, но такое возможно пока в основном в языках с зависимыми типами. Но "придумывание" инвариантов -- это искусство ...

И 81-й -- про миграции (ORM-ы с роллбэком). Это сложно, но на практике оказывается ещё сложнее )))

Почему down-миграции, которыми так хвастают многие фреймворки -- дескать это чуть ли не ключевая их фича -- на практике не работают. Разбираем 4 неочевидных подводных камня (в дополнение к highload-курсу по транзакциям).
  • 🔥 12
  • 👍 3
  • 🫡 2
  • ❤ 1
More from @lambda_brain
  1. Oct 13, 2026Завершаем прохождение конфы AI Native Conf 20 окт "Опыт внедрения агентской разработки в A…
  2. Oct 13, 2026Продолжаем прохождение конфы AI Native Conf 20 окт (в программном комитете обнаружен экс-м…
  3. Oct 12, 2026Один из ментатов попросился на работе вот на эту конфу => AI Native Conf 20 окт типа оплат…
  4. Oct 12, 2026. Облако драгоценностей за неделю. Вроде бы академические темки "кабанчика" (по highload у…
  5. Oct 11, 2026Современные разработчики практически больше не имеют возможности получить следующий профес…
  6. Oct 11, 2026Я такой: - вот эта фича позволит реализовывать популярный класс твоих задачек в 2,7 раза б…
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 →