Тема: статический анализ

Статья

Тотальность: как доказывается завершение

Разбор анализа структурного убывания: происхождение значений, единая убывающая позиция в цикле вызовов, контрпример, объясняющий это требование. И то, что случилось за …

#flang#тотальность#завершаемость

Статья

Установка и инструментарий Elixir: asdf, Mix, Hex, форматтер, Credo, Dialyzer

Ставим Erlang/Elixir через менеджер версий, разбираем Mix и Hex, настраиваем форматтер, линтер Credo, статический анализ Dialyzer и LSP для IDE, изучаем структуру …

#elixir#инструменты#сборка

Статья

Принципы, которые проверяет машина: типы, линтеры, архитектурные тесты и quality gates

Как превратить договорённости о качестве в автоматические проверки: лестница обратной связи, типы как самый дешёвый гейт, линтеры без раздражения, архитектурные …

#принципы#качество кода#статический анализ

Статья

Инструменты языка: LSP, форматтеры, линтеры, отладчики

Почему компилятор-функция не годится для IDE и во что он превращается: протокол LSP до последнего байта заголовка, компилятор как база данных запросов, устойчивый парсер …

#компиляторы#lsp#инструменты разработки

Статья

Аннотации типов: mypy, Protocol, generics, строгость в реальном проекте

Как устроена постепенная типизация Python: почему аннотации ничего не проверяют в рантайме, чем Any отличается от object, как работают Protocol, generics и сужение типов, …

#python#типизация#mypy

Статья

JetBrains IDE: индексация, рефакторинги, инспекции, когда они окупаются

Как устроена модель кода в IntelliJ Platform, почему рефакторинги там надёжнее текстовых, что реально стоит индексация, как вынести инспекции в CI и в каких проектах …

#редакторы#ide#jetbrains