April 10th, 2009

with Cat The Cat

Про интуитивность ООП.

http://edu.technion.ac.il/Faculty/uril/Papers/Hadar_Leron_Intuitive_OOD.pdf

Так, интересное чтиво.

Замечание оттуда: даже в привычных умственных работах человек совершает ошибки более половины времени.

На вопрос "бейсбольная бита и мяч стоят $1.10, при этом бита стоит на доллар дороже мяча, сколько стоит мяч?" даже тренированные студенты престижных американских вузов дают неправильный ответ чаще, чем в половине случаев.

Поэтому чем формальней подход, чем больше внешних по отношению к творцу проверок, тем лучше.

PSP/TSP делают это с помощью людей. Зависимые типы данных - с помощью компьютеров. ;)