Почему программисты отказались от GOTO

Можно ли построить любую программу всего из трёх управляющих конструкций? В XX веке математики Коррадо Бём и Джузеппе Якопини показали, что да — и эта идея стала одной из основ структурного программирования. В этом видео разбираемся, как программирование прошло путь от запутанных переходов GOTO и спагетти-кода до привычных нам if, циклов, функций и структурированного управления потоком. Почему ранние программы были похожи на схему метро после нервного срыва? Как работали переходы в FORTRAN? Что изменил ALGOL? Что именно доказала теорема Бёма — Якопини? Почему Эдсгер Дейкстра выступил против бесконтрольного GOTO? И почему идеи структурного программирования до сих пор лежат в основе почти любого современного языка? В ролике: — история структурного программирования; — оператор GOTO и переходы по номерам строк; — FORTRAN и арифметический IF; — ALGOL и блочная структура программы; — спагетти-код и проблемы неструктурированного управления; — теорема Бёма — Якопини; — последовательность, выбор и повторение; — Эдсгер Дейкстра и «Go To Statement Considered Harmful»; — появление структурного программирования; — как IF, циклы и функции сформировали современный код; — история развития языков программирования. Главы: 00:00 Почему программам достаточно трёх конструкций 01:05 Спагетти код 01:42 FORTRAN: GOTO и арифметический IF 02:24 Как появился спагетти-код 03:33 ALGOL: блоки, условия и циклы 04:22 Теорема Бёма - Якопини 07:33 Дейкстра против GOTO 09:36 Как программирование стало структурным 12:06 Почему современный код выглядит именно так Это первая история о том, почему языки программирования стали такими, какими мы знаем их сегодня. Не история языков по годам, а история идей: структурное программирование, сборка мусора, объекты и классы, система типов, виртуальные машины, JIT, функциональное программирование, конкурентность и безопасность памяти. Если пишешь код каждый день — большая часть конструкций, которыми ты пользуешься автоматически, появилась не случайно. За каждой из них были десятилетия экспериментов, споров и очень странного кода. #программирование #историяпрограммирования #разработка