День 1446. #Оффтоп Закон Дырявых Абстракций В основе Интернета лежит ключевой элемент магии, на который вы полагаетесь каждый день. Протокол TCP — это надёжный способ передачи данных. Т.е., если вы отправляете сообщение по сети с использованием TCP, оно будет доставлено, и не будет искажено или повреждено. Для сравнения, есть ненадежный метод передачи данных, называемый IP. Никто не обещает, что ваши данные дойдут до адресата, и они могут испортиться по ходу. Магия в том, что TCP построен поверх IP. Т.е. TCP обязан каким-то образом надёжно отправлять данные, используя только ненадёжный инструмент. Но 100%-ной гарантии не даёт даже TCP. Если ваша кошка перегрызла сетевой кабель, и никакие IP-пакеты не могут пройти, то TCP ничего не сможет с этим поделать. Если у вас нестабильное соединение, то только часть ваших IP-пакетов будет проходить. TCP будет работать, но очень медленно. Это дырявая абстракция. TCP пытается обеспечить полную абстракцию от лежащей в основе ненадёжной сети, но иногда ненадёжность просачивается через абстракцию, и вы чувствуете то, от чего абстракция не может вас полностью защитить. Все нетривиальные абстракции в той или иной степени негерметичны: - Такая простая вещь, как итерация по большой коллекции может иметь совершенно разную производительность в зависимости от выбранного метода итерации. - SQL предназначен для того, чтобы абстрагироваться от процедурных шагов, необходимых для запроса к базе данных, позволяя вам просто описать, что вы хотите, и дать базе данных определить, что сделать для выполнения запроса. Но в некоторых случаях определённые SQL-запросы выполняются в тысячи раз медленнее, чем другие логически эквивалентные запросы. Вы не должны заботиться о процедуре, только о спецификации. Но иногда абстракция «протекает» и приводит к ужасной производительности, и вам приходится анализировать план запроса, чтобы выяснить, что не так. - Класс string позволяет вам притвориться, что строки являются скалярными типами и работать с ними так же, как с целыми числами, например, используя оператор +. Но даже джуны знают, что чрезмерное его употребление ни к чему хорошему не приведёт. Абстракция имеет дыру, которую язык не позволяет заткнуть. Одной из проблем дырявых абстракций является то, что абстракции на самом деле не упрощают нашу жизнь так сильно, как должны были бы. Мы могли бы учить новичков полностью доверять описанным выше абстракциям, но рано или поздно они столкнутся с проблемой при использовании их «в лоб». Miscrosoft в ASP.NET Web Forms попробовали сделать абстракцию, позволяющую работать с веб-страницами так же, как если бы они были формами настольного приложения. Абстракция задумывалась как способ скрыть всё взаимодействие по HTTP и сделать нажатие на кнопку веб-страницы таким же, как нажатие на кнопку формы настольного приложения. И эта идея с треском провалилась. Сейчас идут попытки сделать наоборот: показывать веб-страницы внутри локального приложения. Посмотрим, что получится из этого. Закон дырявых абстракций означает, что всякий раз, когда кто-то придумывает новый хитрый инструмент автоматизации, который должен сделать нас всех невероятно эффективными, вы слышите, как многие люди говорят: «Сначала научитесь делать это вручную, а затем используйте умный инструмент для экономии времени». Инструменты автоматизации, которые делают вид, что что-то абстрагируют, как и все абстракции, допускают утечку, и единственный способ правильно с этими утечками справиться — знать, как работают абстракции и что они абстрагируют. Таким образом, абстракции экономят наше время в работе, но не экономят время на обучение. Как это ни парадоксально, даже когда у нас появляются инструменты программирования всё более высокого уровня со всё более совершенными абстракциями, стать опытным программистом становится всё труднее и труднее. Источник: https://www.joelonsoftware.com/2002/11/11/the-law-of-leaky-abstractions/