Фелин Херманс - Ум программиста. Как понять и осмыслить любой код

заинтересоваться, а правда ли то, что системы типов предотвращают
ошибки. На основе множества экспериментов по сравнению Java и Groovy немецкий
исследователь Стефан Ханенберг (Stefan Hanenberg) показал, что системы типов
действительно могут помогать в нахождении и исправлении ошибок. Во многих случа­
ях в исследовании Ханенберга место, на которое компилятор указывал как на ошибку,
совпадало с местом, на котором при выполнении вылетал код. Выполнение кода
занимает много времени, поэтому лучше не стоит проверять ошибки с помощью вы­
полнения кода.
Ханенберг испробовал разные способы по улучшению кода, написанного на языке
с динамической типизацией. Он пытался уменьшить его подверженность ошибкам
с помощью интерактивных средств разработки и документации, но даже в таком слу­
чае в кодах, написанных на языке с динамической типизацией, наблюдалось множест­
во ошибок.

Часть IV. О совместной работе над кодом

236

Согласованность
Другой способ изучения того, как люди будут взаимодействовать с языком про­
граммирования или базой кода, — это согласованность. Насколько похожи эле­
менты? Всегда ли имена структурированы одинаково? В них используется та же
форма, которую мы обсуждали в главе? У разных классов одинаковое расположе­
ние файлов?

Пример, когда многие языки программирования демонстрируют согласован­
ность — это определение функций. Может быть, вы никогда не задумывались об
этом, но у встроенных функций тот же интерфейс, что и у пользовательских функ­
ций. Когда ВЫ СМОТрИТе На ВЫЗОВ фуНКЦИИ, например print () ИЛИ print customer о,
вы не видите создателя функции, создателя языка программирования или создателя
кода.
Фреймворк или язык, которые не согласованны в использовании имен или согла­
шений, могут привести к увеличению когнитивной нагрузки, т. к. вашему мозгу
потребуется больше энергии для того, чтобы понять, что к чему относится. Вам
также может потребоваться больше времени для того, чтобы найти нужную ин­
формацию.
Как мы видели в главе 9. согласованность связана с подверженностью ошибкам.
Код, в котором встречаются лингвистические антипаттерны проектирования, под­
вержен ошибкам и вызывает дополнительную когнитивную нагрузку.

Размытость
Ранее мы рассмотрели запахи кода, которые могут затруднить чтение кода. Напри­
мер, запах кода «Длинный метод», который заключается в том, что метод или
функция состоят из множества строк. Длинный метод всегда затрудняет понимание
информации.

Длинный метод может быть ошибкой программиста: например, программисту за­
хотелось поместить слишком много функций в один метод. Но некоторым языкам
программирования просто нужно больше места, чем другим языкам, потому что от
этого зависит их функциональность. Это называется размытостью. Размытость
обозначает то, сколько места занимает элемент кода.

Например, цикл

for

на Python выглядит так:

for i in range(10):
print(i)

Ha C++ этот же код будет выглядеть так:
for

(i=0;

i --">