Доклад на http://2015.happydev-lite.ru

1. Зачем программисту надо
знать математику?
HWdTech, LLC

2. Тюменцев Евгений
14 лет преподаю
ИМИТ, ФКН ОмГУ
ИТ-компании
Школа программиста
10 лет разрабатываю ПО
разработчик, архитектор
PM, в подчинении до 70 чел.
О себе

3. О стажировках
2007

4. О стажировках
60 : 0

5. О стажировках

6. Что могут студенты?
Что было 4,5 с – время отклика
страницы
70 тыс. ошибок на 1 млн.
страниц
30 с - время поиска по тексту
объявления
БД более 200 таблиц

7. Что могут студенты?
Что стало
800 мс – время отклика
страницы
< 1 ош. на 10 тыс. страниц
Однушка в нефтах
Матрешка до 700 т.р.

8. Подробнее о проекте
http://www.slideshare.net/etyumentcev/7-42045466

9. SOLID
5 архитектурных принципов
1988 г. Б. Мейер впервые описал
1995-96 г. Р. Мартин популяризировал,
ввел термин SOLID

10. The Open-Closed Principle
Программные объекты должны
быть открыты для расширения,
но в тоже время закрыты для
модификации.

11. Принцип подстановки Лисков
Функции, которые используют
ссылки на объекты базовых
классов, должны использовать
объекты производных классов,
ничего не зная о них.

12. Нарушают SOLID принципы
enum
switch
if – else – if
операторы приведения типа
new

13. Что-о-о? switch,
new? Ты кто
такой?

14. Выводимость
Пусть L – множество формул, B – формула.
Тогда L B⊦ , если B∃ 1, B2, …, Bn , что
1.Bn – это B,
2.Bi – это
либо формула из L,
либо аксиома,
либо общезначимая
формула,
либо формула полученная

15. Логика Хоара

16. Об авторе
1969 г. An Axiomatic Basis for Computer
Programming
1971 г. Procedures and Parameters: An
Axiomatic Approach
1980 г. премия Тьюринга
1990 г. Медаль “Пионер компьютерной
техники”
2000 г. рыцарский титул за заслуги в
области образования и компьютерной
техники, премия Киото
Чарльз Хоар

17. Тройка Хоара
{pred} statement {post}
Пример: {x == 42} y=x+1; {y == 43 ^ x == 42}

18. Аксиома пустого оператора
{P} skip {P}

19. Аксиома присваивания
Пример: {(y+1)*3+w*(y+1+3) ==z}
x=y+1;
{ x*3+ w*(x+3)==z}
{P[E/x]} x := E {P}

20. Аксиомы оператора цикла
{P ^ B} S {P} {P} while B do S done {B’ ^ P}╞

21. Аксиомы условного оператора
{B ^ P} S {Q}, {B’ ^P} T {Q} {P} if B then S else T endif {Q}╞
{B ^ P} S {Q} {P} if B then S endif {Q}╞

22. Аксиомы вывода
P1 → P, {P} S {Q}, Q → Q1 {P1} S {Q1}╞
P1 → P, {P} S {Q} {P1} S {Q}╞
{P} S {Q}, Q → Q1 {P} S {Q1}╞

23. Аксиома вывода согласуется с
условным оператором
Пусть L = {{P} f {Q}}, B – предикат.
P^B→P (A3 исчисления
высказываний)
{P^B}f{Q} (аксиома вывода)
{P}if (B) then f endif {Q} (аксиома условного
оператора)

24. Аксиома композиции
{P} S {Q}, {Q} T {R} {P} S;T {R}╞

25. • Предусловия
• Постусловия
• Инварианты
Контрактное программирование

26. Модульные тесты
Arrange
Act
Assert

27. Рефакторинг

28. Повторное использование кода — методология
проектирования компьютерных и других систем,
заключающаяся в том, что система (компьютерная
программа, программный модуль) частично либо
полностью должна составляться из частей, написанных
ранее компонентов и/или частей другой системы, и
эти компоненты должны применяться более одного
раза (если не в рамках одного проекта, то хотя бы
разных).
Повторное использование
https://ru.wikipedia.org/wiki/Повторное_использование_кода

29. А можно ли по-другому?
Выводимость прямо предписывает строить
новые тройки из предыдущих!

30. Когда происходит повторное
использование?
Если нужно внести изменение в
существующее приложение, то мы пытаемся
повторно использовать свой же собственный
код, чтобы получить тоже приложение, но с
новой функциональностью.

31. Чем грозят правки кода?
B1, B2, …, A1
B3, A1, …, A2
B5, A2, …, A3
A2, B6, …, A4
A2, A4, …, A5

32. Чем грозят правки кода?
B1, B2, …, A1
B3, A1, …, A2
B5, A2, …, A3
A2, B6, …, A4
A2, A4, …, A5

33. Матрицы
class matrix {
int size;
double *body;
public:
matrix(int s): size(s) {
body = new double[s*s];
}
void transform() {
…
}
double det() const {
…
}
};

34. Матрицы: добавляем matrix()
class matrix {
int size;
double *body;
public:
matrix(int s): size(s) {
body = new double[s*s];
}
void transform() {
…
}
double det() const {
…
}
};
class matrix {
public:
matrix(): size(0), body(0) {
}
};

35. Придется изменять методы
class matrix {
int size;
double *body;
public:
matrix(): size(0), body(0) {
}
matrix(int s): size(s) {
body = new double[s*s];
}
void transform() {
if(!body) throw exception();
…
}
double det() const {
if(!body) throw exception();
…
}
};

36. Что случилось
Инвариант класса matrix: size > 0
Конструктор matrix() нарушил инвариант: size = 0
Предусловия методов изменились с size > 0 на size ≥ 0, но
{size ≥ 0} det {Q} не выводится из {size > 0} det {Q}
Следовательно, надо изменять сами методы

37. Конструкторы по умолчанию
Конструктор должен устанавливать
инвариант класса
Конструкторы по умолчанию часто этого не
делают
Стоит несколько раз подумать, прежде чем
использовать конструктор по умолчанию

38. Как избавиться от switch?

39. Нерассказанные факты об императивном
программировании
oopguide.ru
Разработка серверов и серверных
приложений
actorsmodel.ru
Мы пишем книги

40. с/к Разработка серверов и серверных
приложений (все желающие)
Студентам 2 курса ИМИТ: выполнение
курсовых работ
Принять участие в разработке библиотеки
для построения асинхронных,
высоконагруженных приложений
Приглашаю

41. Наш слоган
Программировать – хорошо, а
хорошо программировать –
еще лучше. Мы знаем как!

42. Тюменцев Евгений
Директор HWdTech, LLC
Звоните: +7 913 150 22 04
Пишите: etyumentcev@hwdtech.ru
slideshare.com/etyumentcev
hwdtech.ru
СпасибоСпасибо