Download to read offline
![void cost() {
vector<pair<char*, int>> devices;
devices.push_back({ "Memory 2x8Gb", 10000 });
devices.push_back({ "Graphic Card", 25000 });
devices.push_back({ "CPU", 20000 });
devices.push_back({ "Motherboard", 6000 });
int cost = 0;
for (size_t i = 0; i < devices.size(); ++i) {
cost += get<1>(devices[i]);
}
printf("%i", cost); // 61000
}
5](https://image.slidesharecdn.com/random-180131203824/85/You-don-t-understand-FP-5-320.jpg)
{
return get<1>(item) + acc;
});
return cost;
}
printf("%i", cost()); // 61000
6](https://image.slidesharecdn.com/random-180131203824/85/You-don-t-understand-FP-6-320.jpg)
Uploaded byAlexander Granin
Вы не понимаете ФП / You don't understand FP
Доклад Александра Гранина посвящен функциональному программированию (ФП) и его современным мифам и реальности. Обсуждаются три аксиомы ФП, включающие элементы функционального программирования, функциональный стиль и функциональный дизайн приложений. Также в презентации рассматриваются misconceptions о ФП, его сложность и применимость в реальном мире.
Вы не понимаете ФП / You don't understand FP
- 1. Вы не понимаетеФП Александр Гранин 1
- 2.
- 3. О чем доклад? ●ФП не нужно, расходимся ● 3 аксиомы о настоящем ФП ● Мифы и реальность 3
- 4. ФП не нужно,расходимся 4
- 5. void cost() { vector<pair<char*,int>> devices; devices.push_back({ "Memory 2x8Gb", 10000 }); devices.push_back({ "Graphic Card", 25000 }); devices.push_back({ "CPU", 20000 }); devices.push_back({ "Motherboard", 6000 }); int cost = 0; for (size_t i = 0; i < devices.size(); ++i) { cost += get<1>(devices[i]); } printf("%i", cost); // 61000 } 5
- 6. int cost() { constvector<pair<char*, int>> devices = { { "Memory 2x8Gb", 10000 } , { "Graphic Card", 25000 } , { "CPU", 20000 } , { "Motherboard", 6000 } }; const int cost = accumulate(devices.begin(), devices.end(), 0, [](int acc, const pair<char*, int>& item) { return get<1>(item) + acc; }); return cost; } printf("%i", cost()); // 61000 6
- 7. Мутабельность Циклы Разрушающее присваивание Пошаговые инструкции Состояние Сторонниеэффекты Иммутабельность Рекурсия Декларативность Функции, лямбды Функции высших порядков (ФВП) Чистые функции (вычисления) 7
- 8. 8 3 аксиомы онастоящем ФП
- 9. Аксиома 1. Элементыфункционального программирования ❖ Лямбды ❖ Первоклассные функции ❖ Функции высших порядков ❖ Чистота ❖ Иммутабельность ❖ Алгебраические типы данных 9
- 10. Аксиома 2. Функциональныйстиль программирования ❖ Композиция функций ❖ Комбинаторы ❖ Каррирование ❖ Частичное применение ❖ Декларативность 10
- 11.
- 12.
- 13.
- 14. Аксиома 3. Функциональныйдизайн приложения ❖ Системы типов ❖ Системы эффектов ❖ Встроенные языки (eDSLs) ❖ Функциональные идиомы (функторы, моноиды, монады...) ❖ Функциональные паттерны (Free eDSLs, lenses) ❖ Функциональные подходы (FRP, STM) 14
- 15.
- 16. ❖ Целевая аудитория ❖Механизмы и конструкции в ФП ❖ Применимость парадигмы ❖ Философия парадигмы Классификация мифов о ФП 16
- 17.
- 18. Целевая аудитория «ФП —для кандидатов наук и академиков» 18
- 19. Целевая аудитория «ФП —для кандидатов наук и академиков» «ФП — для монахов-аскетов, которым связали руки и ноги» 19
- 20. Айсберг скрытой сложности Лямбды,иммутабельность, чистота Зигоморфизмы, категории, эндофункторы 20
- 21. Несколько уровней сложности Лямбды,иммутабельность, чистота Композиция Контроль эффектов Функторы, монады, моноиды Функциональные подходы и паттерны 21
- 22. Механизмы и конструкциив ФП 22
- 23. Механизмы и конструкциив ФП «Без переменных и циклов нельзя написать реальный код» 23
- 24. Механизмы и конструкциив ФП «Без переменных и циклов нельзя написать реальный код» «В ФП нет состояния» 24
- 25. Механизмы и конструкциив ФП «Без переменных и циклов нельзя написать реальный код» «В ФП нет состояния» «В ФП нет побочных эффектов» 25
- 26. Состояние в ФП Чистоеиммутабельное состояние ❖ Argument passing state ❖ Монада State Нечистое мутабельное состояние ❖ IO Ref ❖ MVar (concurrent variable) ❖ TVar (transactional variable) f g f g 26
- 27.
- 28. Применимость парадигмы «ФП вреальном мире не используется» 28
- 29. Применимость парадигмы «ФП вреальном мире не используется» «ФП — это медленно» 29
- 30. 1960 Эпоха исследований (1960- 2010 - ...) 2000 2010 20202005 2015 Эпоха «ненужности» (2005 - 2015) Мейнстрим 2017 (2013 - …) 30
- 31. ФП — этомедленно? 31
- 32.
- 33.
- 34. Философия парадигмы «ФП —это математика» 34
- 35. Философия парадигмы «ФП —это математика» «ФП не привносит ничего нового» 35
- 36. Философия парадигмы «ФП —это математика» «ФП не привносит ничего нового» «Все равно все компилируется в машинный код» 36
- 37. Спасибо за внимание! АлександрГранин graninas@gmail.com 37