Когда любишь программировать, но надоело быть компьютером, начинаешь облегчать себе понимание, что должна делать функция, вбиваю состояния прямо в схему. Обновление: 1950 год Алан Тьюринг (говорят он разбирался в программировании). Доклад "Проверка больших программ": Чтобы сделать задачу проверяющего ️♀️ не слишком трудной,
программист должен написать некоторые утверждения ✍️,
которые можно проверить индивидуально ☝️, и
из которых корректность ✅ программы следует достаточно просто.
Когда любишь программировать, но надоело быть компьютером, начинаешь облегчать себе понимание, что должна делать функция, вбиваю состояния прямо в схему.
Обновление:
1950 год
Алан Тьюринг (говорят он разбирался в программировании).
Доклад "Проверка больших программ":
Чтобы сделать задачу проверяющего ️♀️ не слишком трудной,
программист должен написать некоторые утверждения ✍️,
которые можно проверить индивидуально ☝️, и
из которых корректность ✅ программы следует достаточно просто.