29 июля 2026, среда

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

Эдсгер Вибе Дейкстра

Эдсгер Вибе Дейкстра
Эдсгер Вибе Дейкстра
9 цитат

Э́дсгер Ви́бе Де́йкстра — нидерландский учёный, труды которого оказали влияние на развитие информатики и информационных технологий; один из разработчиков концепции структурного программирования, исследователь формальной верификации и распределённых вычислений. ... Тьюринговский лауреат (1972).

Похожие цитаты

Я рассматриваю Бога, как первого программиста, хорошего программиста, который написал первую программу и запустил её. Но в этой программе есть ошибки, приведённые в действие.
Тяга программистов к пониманию заставляет их инстинктивно создавать взаимодействие, приближенное к внутренним механизмам продукта. Вместо того, чтобы делать программы, отражающие конечные цели пользователей, они отражают работу внутреннего механизма программы. Естественно, что программисты не испытывают неудобств, пользуясь такими программами, поскольку, понимая принцип работы программы, они способны понять и способы ее применения.
Алан Купер · книга