О том, что такое Functional Reactive Programming и как я классно с ним живу на iOS.

1. Functional
Reactive
Programming

2. Асинхронность это сложно

3. Асинхронность это сложно

4. [task1 setCompleted:^(id result1){
[task2 setCompleted:^(id result2){
[task3 setCompleted^(id result3){
[task4 setCompleted:^(id result4){
[task5 setCompleted:^(id result5){
//Сделать что-то с result5
NSLog(@"Ура! %@", result5);
}]; [task5 start];
}]; [task4 start];
}]; [task3 start];
}]; [task2 start];
}]; [task1 start];
Callback Hell

5. Асинхронность
это сложно

6. волюция backendов
DBApp

7. волюция backendов
DB
API
Storage
Cache
App
App

8. • Данные с сервера

9. • Данные с сервера
• Геолокация

10. • Данные с сервера
• Геолокация
• IO

11. • Данные с сервера
• Геолокация
• IO
• CPU tasks

12. • Данные с сервера
• Геолокация
• IO
• CPU tasks
• Пользовательский ввод

13. Решения?
• mutex, semaphore, etc

14. Решения?
• mutex, semaphore, etc
• green threads

15. Решения?
• mutex, semaphore, etc
• green threads
• Future/Promise

16. Решения?
• mutex, semaphore, etc
• green threads
• Future/Promise
• Stream? WTF?

18. Поток
• набор значений одного типа во времени
• завершение с ошибкой или успехом
• может не иметь значений

19. Поток
• ps aux | grep firefox | awk '{print $2}'
• сетевые соединения
• звук и видео
• запросы и ответы сервера

20. UITextField
textField.rac_textSignal
UITextField *field = [UITextField new];
[field.rac_textSignal
subscribeNext:^(NSString *text) {
NSLog(@"Current text: %@", text);
}];
Text Field как поток

21. UITextField
textField.rac_textSignal
UITextField *field = [UITextField new];
[field.rac_textSignal
subscribeNext:^(NSString *text) {
NSLog(@"Current text: %@", text);
}];
Text Field как поток
@“H”

22. UITextField
textField.rac_textSignal
UITextField *field = [UITextField new];
[field.rac_textSignal
subscribeNext:^(NSString *text) {
NSLog(@"Current text: %@", text);
}];
Text Field как поток
@“H”
@“He”

23. UITextField
textField.rac_textSignal
UITextField *field = [UITextField new];
[field.rac_textSignal
subscribeNext:^(NSString *text) {
NSLog(@"Current text: %@", text);
}];
Text Field как поток
@“H”
@“He”
@“Hel”

24. UITextField
textField.rac_textSignal
UITextField *field = [UITextField new];
[field.rac_textSignal
subscribeNext:^(NSString *text) {
NSLog(@"Current text: %@", text);
}];
Text Field как поток
@“H”
@“He”
@“Hel”
@“Hell”

25. UITextField
textField.rac_textSignal
UITextField *field = [UITextField new];
[field.rac_textSignal
subscribeNext:^(NSString *text) {
NSLog(@"Current text: %@", text);
}];
Text Field как поток
@“H”
@“He”
@“Hel”
@“Hell”
@“Hello”

26. UIButton
[button rac_signalForControlEvents:UIControlEventAllTouchEvents]
Button
Кнопка как поток

27. Button
UIControlEventTouchDown
Кнопка как поток
UIButton
[button rac_signalForControlEvents:UIControlEventAllTouchEvents]

28. Button
UIControlEventTouchDown
UIControlEventTouchDragInside
Кнопка как поток
UIButton
[button rac_signalForControlEvents:UIControlEventAllTouchEvents]

29. Button
UIControlEventTouchDown
UIControlEventTouchDragInside
UIControlEventTouchDragExit
Кнопка как поток
UIButton
[button rac_signalForControlEvents:UIControlEventAllTouchEvents]

30. Button
UIControlEventTouchDown
UIControlEventTouchDragInside
UIControlEventTouchDragExit
UIControlEventTouchDragOutside
Кнопка как поток
UIButton
[button rac_signalForControlEvents:UIControlEventAllTouchEvents]

31. Button
UIControlEventTouchDown
UIControlEventTouchDragInside
UIControlEventTouchDragExit
UIControlEventTouchDragOutside
UIControlEventTouchDragEnter
Кнопка как поток
UIButton
[button rac_signalForControlEvents:UIControlEventAllTouchEvents]

32. Button
UIControlEventTouchDown
UIControlEventTouchDragInside
UIControlEventTouchDragExit
UIControlEventTouchDragOutside
UIControlEventTouchDragEnter
UIControlEventTouchUpInside
Кнопка как поток
UIButton
[button rac_signalForControlEvents:UIControlEventAllTouchEvents]

33. Пример

34. Пример

35. Пример

36. Пример

37. Пример

38. Пример

39. Пример

40. Пример

41. Пример

42. Пример

43. Пример

44. Binding

45. • В четыре раза лучше коллбэков
• В два раза лучше промисов
• Способствуют локальности кода
• Упрощают обработку ошибок в цепочках
• Избавляют от Callback Hell

46. • Прозрачность кода
• Единообразие в работе с разными сущностями
• Простота асинхронного программирования
• Описание “что” надо сделать, вместо “как”

47. Цена
• Память/производительность
• Трудно построчно отлаживать
• Большой стек вызовов
• Нет готовых специалистов

49. Ссылки
• Reactive Manifesto
• RxJS
• Соловьёв о FRP+ClojureScript
• Haskell
• lmgtfy

50. Вопросы?
Сергей Буглаков
@ReDetection
XIAG AG