Найти в Дзене
Онтосфера

Состоялась четвёртая лекция цикла о разработке языков программирования от Алексея Недоря

18 февраля прошла лекция №4 «Пролетая над гнездом граблей» от создателя языков программирования и компиляторов Алексея Евгеньевича Недоря в рамках совместного цикла лекций сообщества «Ворчалки о программировании» и Факультета компилятороварения. В формате живого разбора Алексей проанализировал типичные ошибки и «грабли» в дизайне современных языков программирования. В фокусе внимания оказались: ▫️Синтаксическая регулярность: почему дублирование конструкций и нарушение единообразия увеличивает когнитивную нагрузку на разработчика; ▫️Системы типов: сравнение унифицированных и раздельных подходов на примере Kotlin, C#, Swift и Go; ▫️Null Safety: разбор проблем с null/undefined в JavaScript, TypeScript, Kotlin и C#, включая тонкости инициализации и взаимодействия с legacy-кодом; ▫️Условные конструкции: преимущества охраняемых команд, guard в Swift и линейных switch-case перед глубоко вложенными if; ▫️Производительность и компиляторы: как оптимизации и мономорфизация влияют на архитектуру

Состоялась четвёртая лекция цикла о разработке языков программирования от Алексея Недоря

18 февраля прошла лекция №4 «Пролетая над гнездом граблей» от создателя языков программирования и компиляторов Алексея Евгеньевича Недоря в рамках совместного цикла лекций сообщества «Ворчалки о программировании» и Факультета компилятороварения.

В формате живого разбора Алексей проанализировал типичные ошибки и «грабли» в дизайне современных языков программирования. В фокусе внимания оказались:

▫️Синтаксическая регулярность: почему дублирование конструкций и нарушение единообразия увеличивает когнитивную нагрузку на разработчика;

▫️Системы типов: сравнение унифицированных и раздельных подходов на примере Kotlin, C#, Swift и Go;

▫️Null Safety: разбор проблем с null/undefined в JavaScript, TypeScript, Kotlin и C#, включая тонкости инициализации и взаимодействия с legacy-кодом;

▫️Условные конструкции: преимущества охраняемых команд, guard в Swift и линейных switch-case перед глубоко вложенными if;

▫️Производительность и компиляторы: как оптимизации и мономорфизация влияют на архитектуру языка и скорость выполнения кода;

▫️Верификация и тестирование: почему формальные доказательства и экспериментальные ветки важнее, чем постфактум-исправления.

Лекция не просто перечисляет проблемы, но и предлагает принципы, которые помогают их избегать.

🔔 Важное объявление: все видеоматериалы цикла лекций теперь будут публиковаться на новом канале: Факультет компилятороварения на RuTube. Подписывайтесь, чтобы не пропустить записи выступлений, дополнительные материалы и разборы

Посмотреть лекцию в записи можно по ссылкам:

📺 RuTube

👍 На портале «Онтосеть»

🔗 Новость на официальном сайте

➡️ Подписаться на телеграм-канал "Онтосфера"