Допустим, вы приняли руководство новой командой. У вас есть картбланш на внедрение любой выбранной вами политики, чтобы сделать работу сотрудников более продуктивной, а код — менее «глючным». Что же вы предпримете?
На продаже ответа на этот вопрос сделана не одна карьера. Внедрите парное программирование! Перейдите на Haskell! Используйте UML для всего на свете! Этим технологиям посвящают книги и конференции — при этом нет уверенности, стоят ли они затраченных усилий, как скоро дадут эффект и работают ли они вообще.
Исследования показывают, что на качество нашей работы в наибольшей степени влияет человеческий фактор. Почему же мы делаем такую большую ставку на технические решения? Об этом в своей колонке рассуждает Гиллель Уэйн*, консультант по формальной верификации и автор книги Practical TLA+. Под катом — наш перевод авторского материала.
*Обращаем ваше внимание, что позиция автора может не всегда совпадать с мнением МойОфис.