ISpring 2025: Логика коэволюции компиляторов, инструментов разработки и языков программирования.

Выступление в институте iSpring 17 мая 2025 года. Огромная благодарность организаторам за приглашение и за разрешение выложить запись на моём канале. В этой лекции мы поднимемся от самого нижнего уровня – отдельных транзисторов до высокоуровневых языков программирования и проследим совместное развитие механизмов абстракции и инструментов разработки. 00:00 Начало: бинарные цифровые компьютеры. 06:00 Мнемоническое представление и проблемы двоичного кода. 14:10 Релокации и изобретение линкера. 17:25 Язык ассемблера, секции и ассемблер как программа. 24:30 Дизассемблер. 30:25 ABI и соглашения о вызове. 35:35 Библиотеки. 40:55 Проблемы ассемблера. 48:10 Алгоритмические языки и компиляторы. 54:45 Компилятор и его ограничения. 01:03:40 Оптимизации в бэкенде: inline и LTO. 01:15:00 Гарантии по именам и механизмы абстракции. 01:19:55 Завершение: абстракции не случайны.