Про интуитивность ООП.
http://edu.technion.ac.il/Faculty/uril/Papers/Hadar_Leron_Intuitive_OOD.pdf
Так, интересное чтиво.
Замечание оттуда: даже в привычных умственных работах человек совершает ошибки более половины времени.
На вопрос "бейсбольная бита и мяч стоят $1.10, при этом бита стоит на доллар дороже мяча, сколько стоит мяч?" даже тренированные студенты престижных американских вузов дают неправильный ответ чаще, чем в половине случаев.
Поэтому чем формальней подход, чем больше внешних по отношению к творцу проверок, тем лучше.
PSP/TSP делают это с помощью людей. Зависимые типы данных - с помощью компьютеров. ;)
Так, интересное чтиво.
Замечание оттуда: даже в привычных умственных работах человек совершает ошибки более половины времени.
На вопрос "бейсбольная бита и мяч стоят $1.10, при этом бита стоит на доллар дороже мяча, сколько стоит мяч?" даже тренированные студенты престижных американских вузов дают неправильный ответ чаще, чем в половине случаев.
Поэтому чем формальней подход, чем больше внешних по отношению к творцу проверок, тем лучше.
PSP/TSP делают это с помощью людей. Зависимые типы данных - с помощью компьютеров. ;)