Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Программирование глазами математика

629 views

Published on

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

Published in: Technology
  • Be the first to comment

  • Be the first to like this

Программирование глазами математика

  1. 1. Программирование глазами математика Тюменцев Евгений hwdtech.ru
  2. 2. О себе 15 лет преподаю ИМИТ, ФКН ОмГУ ИТ-компании Школа программиста 11 лет разрабатываю ПО разработчик, архитектор, PM, руководство до 70 человек Тюменцев Евгений
  3. 3. Что такое абстракция? Назовите, какие существенные характеристики были выделены для абстракций: 1 2 3 4 5
  4. 4. Определение абстракции Пусть L – формальный язык, обозначим через 𝐿 множество всех подслов языка L, X – произвольное множество Тогда F: X → 𝐿 называется абстракцией, элементы множества X – сущности, F(X) – абстракции.
  5. 5. Магические константы 2 Vs int players = 2; Построение абстракций отражает ход мыслей программиста. Плохой код – это, когда тяжело восстановить ход мыслей того, кто его написал!
  6. 6. ℤ216 и short int ℤ→short int 65536 ≣ 0 (mod 65536) 65535 ≣ -1 (mod 65536) 65534 ≣ -2 (mod 65536) … 32768 ≣ -32768 (mod 65536)
  7. 7. ℝ и double ℝ → double a*b/c≠a/c*b
  8. 8. О подмножествах Пусть F: X→ 𝐿 - абстракция. Известно, что Y⊂X Верно ли, что F(Y)⊂F(X)?
  9. 9. О подмножествах Верно ли, что F(Y)⊂F(X)? В общем случае: НЕТ! Rob Martin The Liskov Substitution Principle Класс Квадрат не является наследником от класса Прямоугольник
  10. 10. Пример Роба Мартина class Rectangle { private double height; private double width; public double getHeight() { return height; } public void setHeight(int value) { height = value;} public double getWidth() { return width; } public void setWidth(int value) { width = value; } } …. void f(Rectangle r) { r.setHeight (5); r.setWidth (4); Debug.Assert(r.getHeight() * r.getWidth() == 20); } class Square extends Rectangle { public void setHeight(int value) { super.setHeight(value); super.setWidth(value); } public void setWidth(int value) { super.setHeight(value); super.setWidth(value); } }
  11. 11. Самое главное об абстракциях F: X→ 𝐿 - абстракция Наши представления о множестве сущностей X меняется, а код программы нет!
  12. 12. Изоморфизм Карри-Говарда Высказывания ≅ типы Доказательство ≅ функции
  13. 13. 1969 г. An Axiomatic Basis for Computer Programming 1971 г. Procedures and Parameters: An Axiomatic Approach 1980 г. премия Тьюринга 1990 г. Медаль “Пионер компьютерной техники” 2000 г. рыцарский титул за заслуги в области образования и компьютерной техники, премия Киото Логика Хоара Чарльз Хоар
  14. 14. Логика Хоара часто противоречива! ⊢ 𝐿 𝞿 и ⊢ 𝐿 `𝞿 Значит, что любое изменение в коде надо тестировать!
  15. 15. Противоречивость: сильно страшно?
  16. 16. Противоречивость: сильно страшно?
  17. 17. Противоречивость: сильно страшно?
  18. 18. Противоречивость: сильно страшно?
  19. 19. Экспоненциальный рост затрат!
  20. 20. Что делать? Итерации Низкая степень связности Небольшая вложенность процедур Модульное тестирование Рефакторинг Planning poker Agile Хорошо определенные требования
  21. 21. Что делать? SOLID Доказаны математически (2014 год) Верны не только для ООП, но и для функционального, и процедурного программирования!
  22. 22. Если SOLID, то, скорее всего, нельзя switch enum Приведение типов new
  23. 23. Нарушают инкапсуляцию if отсутствие полиморфизма (статического или динамического)
  24. 24. Можно ли писать SOLID код? HWdTech.DS 2013 год smartactors 2015 год, совместно с 7bits
  25. 25. Факты о логике Хоара Система аксиом, содержащая if и while полна При добавлении новой конструкции в язык, существующие аксиомы для goto делают логику противоречивой.
  26. 26. Факты о логике Хоара Если использовать 1. статическое связывание 2. Рекурсию 3. Вложенные процедуры 4. Процедуры, принимающие в качестве параметров процедуры. 5. Глобальные переменные то не существует полной системы аксиом.
  27. 27. Зачем все это знать? VS
  28. 28. Приглашаем на спецкурс Анатомия функционального и императивного программирования http://hwdtech.ru/anatomy-of-formal- languarges-2015/
  29. 29. Приглашаем на стажировку 3 человека последующее трудоустройство Стенд HWdTech во время перерыва
  30. 30. Вопросы? Тюменцев Евгений Звоните: +7 913 150 22 04 Пишите: etyumentcev@hwdtech.ru Hwdtech.ru

×