[{"data":1,"prerenderedAt":50},["ShallowReactive",2],{"$ft_wY0mpAXJSUKWd3WSyERx3H14A-L6K2SlQp1leXHto":3},{"article":4,"relatedArticles":29,"tagCounts":48},{"slug":5,"content":6,"headings":7,"notes":21,"groupedNotes":22,"title":23,"date":24,"description":25,"tags":26,"author":28},"spolsky-joel-the-law-of-leaky-abstractions-2002","\u003Cp>В этой статье Джоэл Спольски формулирует один из важнейших принципов разработки программного обеспечения, который он назвал \u003Cstrong>Законом дырявых абстракций\u003C\u002Fstrong>. Ниже представлен подробный пересказ основных идей статьи.\u003C\u002Fp>\n\u003Ch4 id=\"суть-абстракции-на-примере-tcpip\">Суть абстракции на примере TCP\u002FIP\u003C\u002Fh4>\n\u003Cp>Автор начинает с примера работы интернета. Протокол \u003Cstrong>TCP\u003C\u002Fstrong> позволяет передавать данные надежно: сообщение гарантированно дойдет в целости и в правильном порядке. Однако TCP построен поверх протокола \u003Cstrong>IP\u003C\u002Fstrong>, который по своей природе ненадежен — пакеты могут теряться, приходить в неверном порядке или заменяться мусором.\u003C\u002Fp>\n\u003Cp>TCP создает \u003Cstrong>абстракцию\u003C\u002Fstrong> — упрощенную модель сложной реальности. Он «притворяется» надежным каналом, скрывая под капотом сложную механику исправления ошибок и повторной отправки данных.\u003C\u002Fp>\n\u003Ch4 id=\"закон-дырявых-абстракций\">Закон дырявых абстракций\u003C\u002Fh4>\n\u003Cp>Несмотря на удобство, любая абстракция иногда дает сбой. Если сетевой кабель перерезан или хаб перегружен, «надежность» TCP исчезает: передача данных либо прекращается, либо становится очень медленной. В этот момент реальность «просачивается» сквозь упрощенную модель. Спольски формулирует свой закон так:\u003C\u002Fp>\n\u003Cblockquote>\n\u003Cp>\u003Cstrong>«Все нетривиальные абстракции в той или иной степени текут»\u003C\u002Fstrong>.\u003C\u002Fp>\n\u003C\u002Fblockquote>\n\u003Ch4 id=\"примеры-протечек-в-программировании\">Примеры «протечек» в программировании\u003C\u002Fh4>\n\u003Cp>Автор приводит несколько ярких примеров того, как абстракции подводят разработчиков:\u003C\u002Fp>\n\u003Cul>\n\u003Cli>\u003Cstrong>Двумерные массивы:\u003C\u002Fstrong> Итерация по большому массиву может быть в тысячи раз медленнее, если обходить его вертикально, а не горизонтально. Это происходит из-за «протечки» абстракции виртуальной памяти, вызывающей ошибки страниц (page faults).\u003C\u002Fli>\n\u003Cli>\u003Cstrong>SQL:\u003C\u002Fstrong> Язык запросов должен скрывать процедурные шаги, позволяя лишь описывать результат. Но на практике некоторые эквивалентные запросы работают в разы быстрее других, заставляя программиста изучать план выполнения запроса и внутренности базы данных.\u003C\u002Fli>\n\u003Cli>\u003Cstrong>Сетевые файловые системы (NFS):\u003C\u002Fstrong> Они позволяют работать с удаленными файлами так, будто они локальные. Но как только сеть падает, эта иллюзия рушится, и программа, не рассчитанная на сетевые задержки, ломается.\u003C\u002Fli>\n\u003Cli>\u003Cstrong>Строки в C++:\u003C\u002Fstrong> Попытка сложить два строковых литерала (\u003Ccode>\"foo\" + \"bar\"\u003C\u002Fcode>) не сработает, так как абстракция «строки как базового типа данных» дает течь, обнажая лежащие в основе указатели \u003Ccode>char*\u003C\u002Fcode>.\u003C\u002Fli>\n\u003Cli>\u003Cstrong>ASP.NET:\u003C\u002Fstrong> Эта технология пытается скрыть разницу между нажатием на кнопку и ссылкой, используя JavaScript. Если у пользователя отключен JavaScript, абстракция «течет», и приложение перестает работать правильно.\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Ch4 id=\"главный-парадокс-почему-учиться-становится-сложнее\">Главный парадокс: почему учиться становится сложнее\u003C\u002Fh4>\n\u003Cp>Самый важный вывод Спольски заключается в том, что \u003Cstrong>абстракции экономят наше время в работе, но не экономят время на обучение\u003C\u002Fstrong>.\u003C\u002Fp>\n\u003Cp>Когда появляется новый инструмент для генерации кода или высокоуровневый фреймворк, он упрощает выполнение типичных задач. Но как только абстракция дает течь (а она обязательно даст), программист обязан знать, как все устроено на уровнях ниже, чтобы исправить проблему.\u003C\u002Fp>\n\u003Cp>Это ведет к парадоксу: хотя инструменты становятся всё более высокоуровневыми, \u003Cstrong>стать профессиональным программистом становится всё труднее\u003C\u002Fstrong>. Сегодня разработчику недостаточно знать Visual Basic или современный фреймворк; он по-прежнему должен понимать указатели, работу памяти, протоколы и другие низкоуровневые концепции, иначе он окажется в тупике при первой же серьезной ошибке.\u003C\u002Fp>\n\u003Cp>\u003Cstrong>Вывод:\u003C\u002Fstrong> Абстракции позволяют нам справляться с огромной сложностью современных систем, но они не избавляют нас от необходимости понимать основы программирования.\u003C\u002Fp>",[8,12,15,18],{"id":9,"text":10,"depth":11},"суть-абстракции-на-примере-tcpip","Суть абстракции на примере TCP\u002FIP",3,{"id":13,"text":14,"depth":11},"закон-дырявых-абстракций","Закон дырявых абстракций",{"id":16,"text":17,"depth":11},"примеры-протечек-в-программировании","Примеры «протечек» в программировании",{"id":19,"text":20,"depth":11},"главный-парадокс-почему-учиться-становится-сложнее","Главный парадокс: почему учиться становится сложнее",[],{},"The Law of Leaky Abstractions (2002)","2026-07-22","Закон дырявых абстракций — почему любое упрощение в программировании рано или поздно просачивается и не освобождает от изучения основ.",[27],"Программирование","Spolsky, Joel",[30,36,42],{"slug":31,"title":32,"description":33,"date":24,"author":34,"tags":35},"brooks-frederick-p-jr-the-mythical-man-month-essays-on","The Mythical Man-Month: Essays on Software Engineering (1995)","Классика управления разработкой — мифический человеко-месяц, хирургические бригады, концептуальная целостность и отсутствие серебряной пули.","Brooks, Frederick P., Jr.",[27],{"slug":37,"title":38,"description":39,"date":24,"author":40,"tags":41},"mdn-contributors-css-performance-optimization-2025","CSS performance optimization (2025)","Оптимизация CSS для быстрого рендера — блокировка отрисовки, reflow, анимации на GPU, шрифты и CSS Containment.","MDN Contributors",[27],{"slug":43,"title":44,"description":45,"date":24,"author":46,"tags":47},"simpson-kyle-you-don-t-know-js-async-performance-2015","You Don't Know JS: Async & Performance (2015)","Асинхронность и производительность в JavaScript — событийный цикл, промисы, генераторы, Web Workers и практики бенчмаркинга.","Simpson, Kyle",[27],{"Программирование":49},9,1785324880331]