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

Выступление в институте 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 Завершение: абстракции не случайны