Вчера в рамках жаркой дискуссии всплыло сожаление, что формальные методы круто, но люди ими почему-то не пользуются. С сентиментом, мол, что люди неправильные. Это же часто можно услышать от разработчиков программ и дизайнеров — мол, юзеры не такие, пользуются не так, учиться не хотят, не разбираются, спешат. Вот бы нам «таких» юзеров, вот тогда бы наш бизнес бы взлетел! В таких рассуждениях важно понимать, что несдвигаемая константа в уравнении это всегда люди. Они такие, какие есть, других нет и никогда не будет. Если они спешат, они будут спешить, если ошибаются, будут ошибаться, если не хотят/не могут чем-то воспользоваться, то не смогут. И ваша задача — как разработчика, как дизайнера, сделать продукт именно для этих, конкретных, неподходящих, неудобных вам людей. А не искать-ждать других, более правильных. Потому что других все равно нет. У них не вырастет за ночь третья рука. Пальцы не станут длинее, чтобы дотягиваться до кнопок. Они не станут внимательнее или аккуратнее, потому что структура мозга меняется, может, на горизонте 100 тысяч лет минимум. Они не смогут держать в памяти больше вещей, чем держат сейчас, и не смогут начать разбираться в том, в чем не могут разобраться сейчас. Откуда вы будете ждать других людей? С Марса, что ли? Поменять программу легко. Поменять продукт, экосистему, железо, бизнес-модель — все это тривиально в сравнении с тем, чтобы поменять человека. Так что сорян, но люди всегда «такие». Если что-то не работает, меняйте продукт.