Локальная проверяемость

[xoposhiy]

Comments

[thedeemon]

Хорошо, когда по кусочку кода, влезающему на экран можно сказать корректен он или нет, никуда больше не подглядывая и не помня никаких дополнительных фактов (в качестве домашнего задания могу предложить самостоятельно придумать 5 причин, по которым это хорошо). Хорошо, если из локальной корректности каждого кусочка вашего кода следует корректность всей вашей программы. Получается этакое свойство локальной проверяемости.

Это практически те слова, которыми Yaron Minsky объяснял выбор Окамла для их трейдинговой системы в Jane Street.

[xoposhiy]

Тут гораздо более важен стиль написания кода, чем выбор языка, имхо. Но все же, интересно. Кто этот Минский, что за система и где эти его слова почитать/послушать?

[thedeemon]

почитать http://www.janestcapital.com/technology/articles.php
послушать http://ocaml.janestreet.com/?q=node/61

[xoposhiy]

Спасибо. Безотносительно этого поста обещает быть интересным.

[amogilnikov]

Бросай ты эту богопротивную императивщину, переходи на функциональные языки. В них с этим делом сильно проще. :)

[lionet]

Плюс один к функциональным языкам. Народ отмечает, что single assignment и отсутствие сайд-эффектов облегчает code review.

[aidarov]

Когда я руководил группой тестирования - это была моя настольная картинка.

[xoposhiy]

Я на самом деле очень удивился, когда осознал, что ее нарисовали в 2008 году. Мне казалось, что-то подобное должны были нарисовать году этак в 75ом :)

[vaveglaux]

Вауууууууууууууууу)))))))), так клево,...