Логика для программистов от Гиллеля Уэйна

Логика — это не только для детективов и математиков! Немного логики помогает нам, программистам, во многих отношениях, от улучшения тестирования до понимания принципов работы левых внешних соединений. В этом докладе будут рассмотрены основы множеств, предикатов и квантификаторов, на практическом примере определения того, повлияет ли изменение функции (или класса, API или пресса для бутербродов) на работу существующих пользователей, и стоит ли об этом беспокоиться. 00:40 Введение 03:07 Когда $new может заменить $old? 05:43 Математика 06:38 Все в этой комнате лысые 13:36 Интуиция для замены API; get_loc 19:29 Предусловия + Постусловия = Спецификации 24:02 $new может заменить $old, когда... 28:17 Не все свойства являются постусловиями 31:30 А как насчет состояния? 34:00 Краткое содержание Доклад с конференции Systems Distributed '26: https://systemsdistributed.com https://www.linkedin.com/in/hillel-wayne/ Слайды: https://tigerbeetle.github.io/slides/sd/2026/Hillel Wayne/Logic for Programmers.pdf