Этот мир — асинхронный, и что вы ему сделаете

Все современные средства разработки — практически без исключения — наделены двумя родовыми травмами. Они не дают доступа к чуть более низкому софтверному уровню (синтаксическому дереву) без помощи сторонних хаков и ориентированы на синхронное исполнение. Прежде, чем продолжить, я сразу оговорюсь: я не имею в виду узкоспециализированные задачи, типа написания драйверов, программирования контроллеров и прочей околожелезной разработки; там другие правила. Я говорю про мир приложений: от инди-игр до энтерпрайза. Языки высокого уровня, на которых сегодня ведется более (оценка навскидку) 98% всей разработки продуктов для конечного пользователя, лишены примитивов представления AST и параллельного (не путать с асинхронным) исполнения. Но мир ничего не знает о наших абстракциях

https://habr.com/ru/articles/897226/

#акторная_модель #параллелизм #асинхронность #абстракции

[Перевод] Программист никому не должен доверять, и даже самому себе

Программисты должны быть параноиками. «Я дважды проверил код» «Код проходит все тесты» «Ревьюер одобрил мой код» «Так ли корректен мой код?» Писать код корректно трудно, а подтвердить корректность кода невозможно. Вот некоторые из причин этого: Всеобщность : даже если код правильно вёл себя один раз, будет ли он вести себя так во всех случаях на всех машинах и всегда? Ложное прохождение теста : непрохождение тестов указывает на наличие багов, но прохождение текстов не гарантирует их отсутствия. Отсутствие определённости : можно написать формальное доказательство корректности кода, но теперь нужно задаться вопросом, корректно ли доказательство. Потребуется доказать доказательство. Эта цепочка проверки проверок никогда не закончится. Безумно было бы стремиться к определённости корректности кода. Баг может скрываться в зависимости, которую вы никогда не найдёте. Однако отчаиваться не стоит, всё равно можно снизить вероятность багов, расширяя своё понимание и внимательность.

https://habr.com/ru/companies/ruvds/articles/825854/

#ruvds_переводы #абстракции #протекающие_абстракции #тестирование_кода #слои_абстракций #допущения

Жизнь без линтеров и расчет цены абстракции: материалы для разработчиков на С++

В марте мы собирались на митапе по С++ в Санкт-Петербурге. Для всех, кто не смог присоединиться к встрече, подготовили записи докладов и дискуссии с экспертами из YADRO, VK и Kaspersky, а также создателем Sprinx Андреем Аксёновым. Почему стоит сохранить подборку в закладки: • Руководитель отдела компиляторов научит рассчитывать цену абстракции для функций и других сущностей с учетом ваших ресурсов и возможностей компилятора. • Эксперт из PVS-Studio покажет, почему линтеры не всегда подходят для поиска ошибок и какое решение использовать вместо них, чтобы не навредить безопасности сервиса. • Инженеры с многолетним опытом работы на С++ поделятся опытом проведения код-ревью — возможно, вы найдете в их практиках что-то полезное или просто посмеетесь вместе с участниками дискуссии.

https://habr.com/ru/companies/yadro/articles/807145/

#абстракции #функции #c++ #корутины #линтеры #кодревью #дискуссия #ошибки_в_коде #митап

Митап по С++ в Питере и онлайн: цена абстракции, статистический анализ и дискуссия о код-ревью

20 марта собираемся на бесплатном митапе в Санкт-Петербурге и онлайн. Константин Владимиров расскажет о цене абстракции, а разработчик из команды телекома YADRO Владимир Леонтьев на примере инструмента генерации RPC-серверов покажет, как написать кодогенератор. В конце встречи создатель Sprinx Андрей Аксенов, разработчик VK AdTech Станислав Юрченко, техлид Kaspersky Александр Еналдиев и разработчик YADRO Илья Казаков вместе с гостями и зрителями митапа обсудят тонкости код-ревью. В этом материале делимся программой митапа. Регистрация уже открыта —

https://habr.com/ru/companies/yadro/articles/796545/

#линтеры #абстракции #дискуссия #кодревью #аналитика #корутины #ranges