Незмінні структури даних і реактивне програмування

У цій публікації блогу розглядається зв’язок між незмінними структурами даних і реактивним програмуванням. По-перше, пояснюється, що таке незмінні структури даних, і основні принципи реактивного програмування. Потім обговорюються переваги незмінних структур даних, їхній вплив на продуктивність і підходи до переходу на ці структури. Хоча підкреслюється важливість управління помилками в реактивному програмуванні, вказуються загальні області використання незмінних структур даних. Крім того, представлено інструменти та бібліотеки, які можна використовувати для реактивного програмування. Нарешті, оцінюється взаємозв’язок між незмінними даними та цілісністю даних і даються рекомендації на майбутнє.

Що таке незмінні структури даних?

Незмінні дані Структури (Immutable Data) — це структури даних, значення яких не можна змінити після їх створення. Це означає, що після створення об’єкта стан цього об’єкта ніколи не змінюється. Незмінні структури даних відіграють важливу роль у програмуванні, особливо в парадигмі функціонального програмування, і стають все більш важливими в сучасній розробці програмного забезпечення. Оскільки значення змінної чи об’єкта не можна змінити, до тих самих даних можна безпечно отримати доступ і використовувати їх у різних частинах програми, зменшуючи кількість помилок і полегшуючи розуміння коду.

Основна мета незмінних структур даних — забезпечити цілісність даних і запобігти побічним ефектам. У змінних даних, коли функція або метод змінює стан об’єкта, це може вплинути на інші частини програми неочікуваним чином. Такі побічні ефекти ускладнюють пошук джерела помилок і знижують загальну надійність коду. З іншого боку, незмінні структури даних усувають такі побічні ефекти та роблять поведінку програми більш передбачуваною, оскільки стан об’єкта не змінюється.

Нижче наведено таблицю порівняння властивостей деяких часто використовуваних незмінних структур даних:

Незмінні структури даних у поєднанні з сучасними підходами, такими як реактивне програмування, можуть підвищити надійність і продуктивність програми. Реактивне програмування фокусується на потоках даних і поширенні змін. Незмінні структури даних роблять ці потоки більш безпечними та передбачуваними, оскільки зміна однієї точки даних не впливає на інші точки даних неочікуваним чином. Це полегшує розуміння та обслуговування реактивних систем. Таким чином, незмінні дані Конструкції є важливим інструментом для сучасної розробки програмного забезпечення та пропонують великі переваги, особливо при використанні в поєднанні з реактивним програмуванням.

Основні принципи реактивного програмування

Реактивне програмування — це підхід, чутливий до змін і керований подіями. Цей підхід, незмінні дані У поєднанні з їх структурою це робить програму більш передбачуваною та керованою. Реактивні системи мають чотири основні властивості: чуйність, стійкість, еластичність і керованість повідомленнями. Ці функції допомагають програмі впоратися зі своєю складністю та забезпечити високу продуктивність.

Реактивне програмування базується на потоках даних і поширенні змін. Коли дані змінюються, усі компоненти, які залежать від цієї зміни, автоматично оновлюються. Це особливо вигідно для програм, які постійно змінюються та взаємодіють, наприклад для інтерфейсів користувача. Незмінні дані Їх структура гарантує, що ці потоки даних є більш надійними та безпомилковими.

Етапи реактивного програмування

1. Визначте потоки даних.
2. Визначте події та тригери.
3. Відстежуйте та реагуйте на зміни.
4. Запровадити механізми зворотного зв’язку.
5. Забезпечте керування помилками.

Незмінні дані, є основою реактивного програмування, оскільки полегшує відстеження та керування змінами даних. Коли дані незмінні, будь-які зміни вносяться шляхом створення нового екземпляра даних. Це означає, що старі дані все ще дійсні та узгоджені, що спрощує процеси налагодження та тестування.

Успіх реактивного програмування залежить від використання правильних інструментів і бібліотек. Такі інструменти, як RxJava, Reactor і Akka, полегшують розробку реактивних програм. Ці інструменти пропонують потужні можливості для керування потоками даних, обробки подій і виконання асинхронних операцій. Незмінні дані При використанні в поєднанні з фреймворками ці інструменти роблять програму більш надійною та масштабованою.

Переваги незмінних структур даних

Незмінні дані структури стають все більш важливим поняттям у розробці програмного забезпечення. Головною особливістю цих структур даних є те, що їх вміст не можна змінити після їх створення. Ця функція приносить із собою багато переваг і дозволяє їм часто віддавати перевагу в сучасних практиках розробки програмного забезпечення. Особливо в середовищах зі складними й одночасними операціями, такими як реактивне програмування, незмінні дані переваги, які пропонують структури, стають більш очевидними.

Незмінні дані Однією з найбільших переваг їхніх структур є те, що вони полегшують управління ситуацією. Він запобігає несподіваній зміні значень змінних, роблячи програму більш передбачуваною та надійною. Це значно полегшує процес налагодження, особливо у великих і складних проектах. Це також допомагає запобігти перегонам даних у багатопоточних середовищах, оскільки жоден потік не може змінювати дані.

Основні переваги

• Полегшує управління ситуацією.
• Прискорює процеси налагодження.
• Підвищує безпеку даних у багатопоточних середовищах.
• Забезпечує цілісність даних.
• Підтримує принципи реактивного програмування.
• Оптимізує механізми кешування.

Незмінні дані Їх структура також ідеально гармонує з принципами реактивного програмування. Реактивне програмування фокусується на потоках даних і поширенні змін. Незмінні дані Коли дані змінюються, їх структура створює нові дані замість заміни існуючих, що полегшує відстеження та поширення змін. Це дозволяє реактивним системам бути більш ефективними та чуйними.

незмінні дані структури допомагають оптимізувати механізми кешування. Поки дані не змінюються, їх можна зберігати в кеші, і їх не потрібно обчислювати знову і знову. Це забезпечує значну перевагу, особливо в програмах, чутливих до продуктивності. Незмінні дані структури забезпечують значний внесок у процес розробки програмного забезпечення з точки зору надійності, продуктивності та стійкості.

Реактивне програмування та продуктивність

Реактивне програмування, незмінні дані у поєднанні з їх структурою це може значно вплинути на продуктивність. У традиційних підходах зміни даних зазвичай виконуються шляхом безпосереднього оновлення існуючих об’єктів, тоді як незмінні структури даних вимагають створення нових об’єктів із кожною зміною. Хоча на перший погляд може здатися, що це негативно впливає на продуктивність, ці недоліки можна значною мірою усунути за допомогою реактивного програмування та методів оптимізації.

Порівняння продуктивності незмінних і змінних структур даних

У реактивних системах потоки даних обробляються асинхронно, а зміни зазвичай поширюються через потоки подій. Незмінні структури даних ідеально підходять для забезпечення узгодженості даних у таких системах. Оскільки після створення об’єкта даних його неможливо змінити, усуваючи умови конкуренції та інші проблеми паралелізму. Крім того, незмінні структури даних полегшують відстеження та відкат змін, що спрощує процеси налагодження та тестування.

Зв'язок реактивності та незмінності

Взаємозв'язок між реактивним програмуванням і незмінністю створює синергію, яка доповнює і зміцнює один одного. Реактивне програмування керує потоками даних і змінюється асинхронно, тоді як незмінність забезпечує послідовність і безпеку даних. Ця комбінація має вирішальне значення для підвищення продуктивності та зниження рівня помилок, особливо у великих і складних програмах.

Для підвищення продуктивності можна використовувати різні методи оптимізації. Наприклад, Обмін даними (обмін даними), при створенні нових незмінних об’єктів копіюються лише змінені частини, решта частин залишаються незмінними. Це зменшує використання пам'яті та вартість створення об'єктів. Крім того, запам'ятовування За допомогою техніки (відкликання) часто використовувані та незмінні значення кешуються, щоб запобігти повторному обчисленню. Ці оптимізації дозволяють ефективно використовувати незмінні структури даних у середовищах реактивного програмування.

Порівняння продуктивності

1. Оптимізація керування пам'яттю (обмін даними)
2. Використання Memoization
3. Ефективне використання структур даних (наприклад, список замість вектора)
4. Розпаралелювання асинхронних операцій
5. Запобігання непотрібному копіюванню даних
6. Реалізація відкладеної оцінки

Не слід забувати, що, незмінні дані У деяких випадках використання конструкцій може призвести до додаткових витрат. Однак ці витрати можна мінімізувати за допомогою переваг реактивного програмування та відповідних методів оптимізації. Підсумовуючи, реактивне програмування та незмінні структури даних, коли використовуються разом, забезпечують потужний набір інструментів для розробки більш надійних, масштабованих та продуктивних програм.

Незмінні структури даних є важливим компонентом для реактивного програмування. Він забезпечує послідовність і безпеку даних, полегшуючи керування та тестування складних програм.

Перехідні підходи до незмінних структур даних

Незмінні дані Перехід до нових структур може вимагати істотних змін у існуючих проектах. Цей перехід потребує ретельного планування та поетапного підходу. Важливо проаналізувати існуючу кодову базу, визначити, які структури даних потрібно змінити, і оцінити потенційний вплив цих змін. У цьому процесі слід застосувати підхід тестової розробки (TDD), щоб переконатися, що система працює правильно після кожної зміни.

Ще один важливий момент, який слід враховувати під час процесу переходу, — продуктивність. Незмінні дані У деяких випадках використання структур може призвести до додаткових витрат на копіювання. Тому слід проводити ретельну оптимізацію в критичних для продуктивності розділах. Моніторинг використання пам’яті та уникнення непотрібного копіювання може покращити загальну продуктивність системи. Наприклад, підвищення продуктивності можна досягти за допомогою стратегії копіювання при записі під час оновлення структур даних.

Етапи переходу

1. Детальний аналіз існуючої кодової бази.
2. Визначення структур даних, які необхідно змінити.
3. З малосерійними прототипами незмінні дані випробування конструкцій.
4. Реалізація стратегії поетапної інтеграції.
5. Перевірка змін шляхом ретельного тестування.
6. Виконання оптимізації продуктивності.

Навчання членів команди також має велике значення в процесі переходу. Незмінні дані Розуміння структури та принципів реактивного програмування полегшує команді адаптацію до цього нового підходу. Тренінги, семінари та перевірки коду збільшують базу знань команди, роблячи процес міграції більш успішним. Крім того, обмін набутим досвідом і уроками, отриманими під час цього процесу, забезпечить більш ефективне використання цих підходів у майбутніх проектах.

Під час процесу переходу, незмінні дані Щоб повною мірою скористатися перевагами, які пропонують їх конструкції, важливо звернути увагу на наступні моменти:

Незмінні дані Перехід до цих структур – це не лише технічна зміна, а й зміна мислення. Коли члени команди приймуть цю нову парадигму, це призведе до розробки більш стійких і безпомилкових програм у довгостроковій перспективі.

Управління помилками в реактивному програмуванні

У реактивному програмуванні керування помилками має вирішальне значення під час роботи з асинхронними та керованими подіями потоками. Незмінні дані структури можуть допомогти виділити джерело помилок у цьому процесі та створити більш передбачувані системи. Незмінні дані запобігають поширенню помилок на інші компоненти як побічні ефекти, оскільки вони не можуть бути змінені після створення. Це спрощує процес налагодження та підвищує загальну надійність програми.

При обробці помилок у реактивних потоках можна використовувати різні стратегії. Ці стратегії гарантують, що помилки виявляються в момент їх виникнення та обробляються належним чином або потік припиняється. Наприклад, якщо в потоці даних виникає помилка, замість того, щоб зупинити весь потік, можна застосувати різні підходи, як-от виявити помилку та продовжити зі значенням за замовчуванням або надіслати помилку механізму журналювання. У наведеній нижче таблиці наведено деякі поширені підходи до керування помилками.

Стратегії управління помилками

• Помилка: Виловлюйте помилки та повертайте відповідне повідомлення про помилку або перемикайтеся на альтернативний потік.
• Повторити: Повторення невдалих операцій певну кількість разів або протягом певного періоду часу.
• Резервне значення за умовчанням: Використання попередньо визначеного значення за замовчуванням у разі помилки.
• Припинити потік: У разі помилки зупиніть потік і поширте помилку вгору.
• Ведення журналу: Записування помилок, щоб потім їх можна було проаналізувати та виправити.
• Виправлення помилок: Спроба автоматичного виправлення помилок (наприклад, перевірка даних).

Управління помилками в реактивному програмуванні не обмежується лише виявленням і обробкою помилок. Також важливо розуміти причини помилок і запобігати виникненню подібних помилок у майбутньому. Незмінні дані Їх структура відіграє важливу роль у виявленні джерела помилок і підвищенні загальної надійності системи. Інструменти журналювання, моніторингу та аналізу можна використовувати для розуміння причин помилок. Завдяки цим інструментам можна отримати інформацію про те, за яких умов виникають помилки та які введення даних їх викликають. Цю інформацію можна використовувати для виявлення основних причин помилок і розробки постійних рішень.

Вибір стратегій управління помилками в реактивному програмуванні залежить від вимог і складності програми. Хоча блоків try-catch може бути достатньо для простих програм, для складних реактивних потоків можуть знадобитися більш просунуті оператори та підходи до обробки помилок. Важливо те, що помилки завжди обробляються, а надійність програми забезпечується.

Сфери використання незмінних структур даних

Незмінні дані структури стають все більш важливими в сучасній розробці програмного забезпечення. Особливо в парадигмах реактивного програмування та функціонального програмування можна розробляти більш надійні, передбачувані та тестовані програми завдяки перевагам, які пропонують ці структури. Незмінні дані Сфери використання цих конструкцій досить широкі, і вони часто зустрічаються в проектах в різних галузях.

Різні сфери використання

• Розробка реактивного інтерфейсу: Такі бібліотеки, як React і Redux, керують станом інтерфейсу. незмінні дані Підвищує продуктивність і передбачуваність за допомогою структур.
• Управління базою даних: Деякі системи баз даних забезпечують цілісність даних незмінні дані приймає їхній підхід.
• Фінансові програми: У фінансовому секторі точність і надійність транзакцій мають вирішальне значення. Незмінні дані, підвищує можливість перевірки, гарантуючи, що історія транзакцій зберігається незмінним чином.
• Розробка гри: В ігровому світі важливо, щоб стан гри був послідовним і передбачуваним. Незмінні дані, полегшує повернення до різних моментів гри та налагодження.
• Технологія блокчейн: Блокчейн - це в основному незмінний це система бухгалтерського обліку. Кожен блок транзакцій пов'язаний з попереднім блоком і не може бути змінений.

Таблиця нижче показує, незмінні дані надає приклади використання структур у різних сценаріях.

Незмінні дані Їх структура дозволяє краще керувати потоком даних, особливо у великих і складних проектах. Незмінність даних зменшує несподівані побічні ефекти та помилки. Це прискорює процес розробки та покращує загальну якість програми. Наприклад, у програмі електронної комерції інформація про замовлення незмінний Зберігаючи його як резервну копію, ви можете легко відстежувати та скасовувати зміни, зроблені на будь-якому етапі замовлення. Таким чином підвищується задоволеність клієнтів і запобігаються можливі суперечки.

незмінні дані структури займають важливе місце в сучасній практиці розробки програмного забезпечення. При використанні в поєднанні з реактивним програмуванням стає можливим розробляти більш надійні, масштабовані та підтримувані програми. Якщо розробники розуміють ці конструкції та використовують їх у своїх проектах, це може значно покращити їхні процеси розробки програмного забезпечення.

Інструменти та бібліотеки для реактивного програмування

Реактивне програмування — це потужний підхід, який дозволяє додаткам бути більш чутливими, гнучкими та придатними для обслуговування. Використовувати цей підхід стає набагато легше за допомогою правильних інструментів і бібліотек. Незмінні дані Застосування принципів реактивного програмування за допомогою структурованих методів дає великі переваги, особливо з точки зору керування потоками даних і моніторингу змін стану. У цьому розділі ми розглянемо деякі популярні інструменти та бібліотеки, які можна використовувати в проектах реактивного програмування.

Екосистема реактивного програмування постійно розвивається, і багато різних бібліотек і інструментів надають розробникам широкий вибір можливостей. Ці інструменти можуть допомогти з різними завданнями, від керування потоками даних до оновлення інтерфейсів користувача. Вибір правильного інструменту залежить від потреб вашого проекту та досвіду вашої команди. Нижче ви можете знайти загальне порівняння деяких часто використовуваних інструментів і бібліотек для реактивного програмування.

Кожна з цих бібліотек пропонує різні функції та переваги. Наприклад, RxJava та RxJS забезпечують велику гнучкість у перетворенні та фільтрації потоків даних, пропонуючи широкий спектр операторів. Reactor ідеально підходить для реалізації реактивного програмування в проектах на основі Spring завдяки тісній інтеграції з екосистемою Spring. Akka пропонує потужне рішення для паралелізму та розподілених систем завдяки моделі актора. Ви можете оптимізувати процес розробки, вибравши той, який найкраще відповідає потребам вашого проекту.

Незалежно від того, чи починаєте ви реактивне програмування чи перетворюєте наявні проекти, ці інструменти та бібліотеки можуть вам дуже допомогти. Однак важливо пам’ятати, що кожен має свою унікальну криву навчання. Практикуючи та працюючи над зразками проектів, ви зможете повністю вивчити потенціал цих інструментів. Крім того, незмінні дані Застосування принципів реактивного програмування за допомогою конструкцій допоможе вам підвищити надійність і продуктивність вашої програми.

Популярні інструменти

• RxJava
• RxJS
• Реактор
• Акка
• Vert.x
• Весна WebFlux

Незмінні дані та цілісність даних

Незмінні дані (Immutable Data) відноситься до структур даних, вміст яких не можна змінити після їх створення. Ця функція пропонує великі переваги щодо збереження цілісності даних. У традиційному програмуванні зміна даних несподіваним чином може призвести до помилок, тоді як незмінні структури даних запобігають таким проблемам. Коли об’єкт є незмінним після його створення, його можна безпечно використовувати, не турбуючись про стан об’єкта, що особливо важливо в одночасних програмах.

Незмінні структури даних ідеально гармонують із принципами реактивного програмування. Реактивні системи працюють, реагуючи на потоки даних і зміни. Моніторинг та керування змінами даних є основою реактивного програмування. Незмінні дані дозволяють легко виявляти зміни, оскільки, щоб зрозуміти, чи змінився об’єкт, достатньо побачити, чи змінилася його посилання. Це покращує продуктивність і спрощує процеси налагодження.

Рекомендації щодо цілісності даних

1. Використовуйте незмінні структури даних: Найбільш ефективним способом забезпечення цілісності даних є використання незмінних структур даних.
2. Прийняти принципи функціонального програмування: Уникання побічних ефектів і забезпечення того, що функції дають результати лише на основі своїх вхідних даних, підвищує цілісність даних.
3. Впровадити механізми перевірки даних: Перевірка даних у точці входу в систему та на різних рівнях запобігає витоку помилкових даних у систему.
4. Використовуйте сувору перевірку типу: Виявлення помилок типу під час компіляції зменшує проблеми з цілісністю даних, які можуть виникнути під час виконання.
5. Підвищення безпеки тестування: Регулярно перевіряйте цілісність даних за допомогою модульних і інтеграційних тестів.

Окрім використання незмінних структур даних для забезпечення цілісності даних, також важливими є кілька інших стратегій. Наприклад, прийняття принципів функціонального програмування, уникнення побічних ефектів і впровадження механізмів перевірки даних значно підвищує цілісність даних. Крім того, сувора перевірка типу та комплексне тестування також є критично важливими для підтримки цілісності даних. У таблиці нижче більш чітко показано вплив незмінних структур даних на цілісність даних.

незмінні дані Структури є потужним інструментом для підтримки цілісності даних і використання переваг реактивного програмування. Забезпечення цілісності даних має вирішальне значення для розробки надійних і стійких програм. Використовуючи незмінні структури даних, можна збільшити продуктивність і полегшити процеси налагодження.

Висновок і майбутні рекомендації

У цій статті Незмінні дані Ми детально дослідили структури та парадигми реактивного програмування. Ми побачили, що незмінні структури даних підвищують надійність і передбачуваність реактивних систем, а також пропонують значні переваги в підтримці цілісності даних. З іншого боку, реактивне програмування дозволяє нам розробляти швидші та чутливіші додатки, спрощуючи керування асинхронними системами та системами на основі подій.

Отже, як ми можемо застосувати цю інформацію на практиці? Ось деякі кроки до дії:

• Почніть з малих кроків: Почніть використовувати незмінні структури даних у невеликих ізольованих розділах ваших існуючих проектів.
• Ознайомтеся з бібліотекою та інструментами: Досліджуйте бібліотеки незмінних структур даних і інструменти реактивного програмування, які відповідають вашим потребам. Вам можуть допомогти такі інструменти, як RxJava, Reactor або Immer.
• Впровадження тестової розробки: Захистіть свої незмінні структури даних і реактивні потоки за допомогою тестів.
• Перегляд продуктивності: Регулярно відстежуйте й оптимізуйте вплив незмінних структур даних на продуктивність.
• Тренування команди: Навчіть членів вашої команди незмінним структурам даних і реактивному програмуванню.
• Огляд коду: Переконайтеся, що незмінні принципи дотримуються під час перевірки коду.

У таблиці нижче ми надаємо зведення, щоб допомогти вам зробити більш обґрунтований вибір, порівнюючи різні незмінні структури даних і області їх використання.

Пам’ятайте, що, як і будь-яка технологія, незмінні структури даних і реактивне програмування мають свої проблеми та обмеження. Тому, перш ніж розпочинати свої проекти, ретельний розгляд Важливо, щоб ви зробили це і підібрали правильні інструменти.

Я хотів би зазначити, що, об’єднавши ці два підходи, ми маємо потенціал для створення більш надійних, масштабованих і стійких програм. Я прогнозую, що в майбутньому ці технології набудуть ще більшого поширення і докорінно змінять процеси розробки програмного забезпечення. Щоб не відставати від цих змін і ефективно використовувати ці технології, ми повинні продовжувати вчитися та експериментувати.

Часті запитання

Як незмінні структури даних впливають на реактивне програмування?

Незмінні структури даних гарантують, що потік даних у реактивному програмуванні є передбачуваним і надійним, полегшуючи відстеження та керування змінами стану. Це зменшує побічні ефекти та підвищує загальну стабільність програми.

Які типові проблеми реактивного програмування можна вирішити за допомогою незмінних структур даних?

Такі проблеми, як умови конкуренції, проблеми паралельності та помилкові оновлення стану, можна значно зменшити за допомогою незмінних структур даних. Незмінність запобігає випадковій зміні даних і зменшує ймовірність виникнення таких проблем.

Як незмінні структури даних можна використовувати для підвищення продуктивності реактивної програми?

Незмінні структури даних полегшують відстеження змін, запобігаючи непотрібній переробці. Це також може підвищити ефективність за рахунок спільного використання пам’яті та полегшити реалізацію деяких методів оптимізації. Продуктивність можна значно збільшити, особливо при роботі з великими наборами даних.

Як я можу адаптувати існуючий проект до принципів реактивного програмування та незмінних структур даних?

Слід прийняти поетапний підхід. Почніть із переробки невеликих незалежних розділів програми відповідно до реактивних принципів. Поступово інтегруйте незмінні структури даних і зробіть їх сумісними із застарілим кодом. Розробка на основі тестування (TDD) буде дуже корисною в цьому процесі.

Як обробку помилок у реактивному програмуванні можна зробити більш ефективною за допомогою незмінних структур даних?

Незмінність полегшує визначення походження помилок, оскільки стає зрозумілішим, де і коли відбулися зміни даних. У разі помилок легше повернутися до попереднього незмінного стану або відтворити помилковий стан, що прискорює процес налагодження.

Які типи програм отримують найбільшу користь від незмінних структур даних і реактивного програмування?

Програми реального часу, покращення інтерфейсу користувача (UI), програми, які вимагають одночасної обробки даних, і системи зі складним керуванням станом значно виграють від незмінних структур даних і реактивного програмування. Наприклад, ігри, фінансові програми та інструменти для співпраці можуть отримати користь від цих підходів.

Які популярні інструменти та бібліотеки для реактивного програмування та незмінних структур даних?

Широко використовуються реактивні бібліотеки, такі як RxJava, Reactor, RxJS, і бібліотеки незмінної структури даних, такі як Immutable.js, Mori, Seamless-immutable. Крім того, бібліотеки керування станом, такі як Redux і MobX, також застосовують принципи незмінності та можуть бути інтегровані з реактивним програмуванням.

Який вплив незмінних структур даних і реактивного програмування на довгострокову цілісність даних?

Незмінні структури даних підвищують цілісність даних, запобігаючи випадковій зміні даних. Реактивне програмування робить потік даних більш прозорим і простежуваним, полегшуючи виявлення невідповідностей даних. Ця комбінація допомагає створювати більш надійні та стійкі системи в довгостроковій перспективі.

Більше інформації: ReactiveX