Реактивное программирование - История изменений

Dzmuh: /* Функциональное реактивное программирование */

2023-09-01T16:51:51Z

Функциональное реактивное программирование

← Предыдущая версия		Версия от 16:51, 1 сентября 2023
Строка 56:		Строка 56:

	=== Функциональное реактивное программирование ===		=== Функциональное реактивное программирование ===
	~~{{falseredirect\|Функциональное реактивное программирование}}~~
	[[Функциональное программирование]] является наиболее естественным базисом для реализации реактивной архитектуры, хорошо сочетаясь с [[Параллелизм (информатика)\|параллелизмом]].		[[Функциональное программирование]] является наиболее естественным базисом для реализации реактивной архитектуры, хорошо сочетаясь с [[Параллелизм (информатика)\|параллелизмом]].

	Функциональное реактивное программирование (~~ФРП~~) сформировалось в 1997 году, с предложением языка Fran<ref>{{Cite web \|url=http://conal.net/papers/icfp97/ \|title=Functional Reactive Animation \|access-date=2015-09-08 \|archive-date=2020-11-11 \|archive-url=https://web.archive.org/web/20201111235319/http://conal.net/papers/icfp97/ \|deadlink=no }}</ref>. Позже были разработаны такие языки как Fruit, FRP и RT-FRP, FAL, Frob, Fvision, Yampa<ref>{{статья		'''Функциональное реактивное программирование (FRP)''' сформировалось в 1997 году, с предложением языка Fran<ref>{{Cite web
			\|url=http://conal.net/papers/icfp97/
			\|title=Functional Reactive Animation
			\|access-date=2015-09-08
			\|archive-date=2020-11-11
			\|archive-url=https://web.archive.org/web/20201111235319/http://conal.net/papers/icfp97/
			\|deadlink=no
			}}</ref>. Позже были разработаны такие языки как Fruit, FRP и RT-FRP, FAL, Frob, Fvision, Yampa<ref>{{статья
	\|автор = Mun Hon Cheong		\|автор = Mun Hon Cheong
	\|заглавие = Functional Programming and 3D Games		\|заглавие = Functional Programming and 3D Games

Dzmuh: /* Responsive (Отзывчивость) */

2023-09-01T16:48:16Z

Responsive (Отзывчивость)

← Предыдущая версия		Версия от 16:48, 1 сентября 2023
Строка 41:		Строка 41:
	Наблюдаемые модели позволяют другим системам получать события, когда их состояние изменяется. Это обеспечивает связь в реальном времени между пользователями и системами.		Наблюдаемые модели позволяют другим системам получать события, когда их состояние изменяется. Это обеспечивает связь в реальном времени между пользователями и системами.

	{{Notice}}		{{Notice\|Например, когда несколько пользователей работают одновременно над одной и той же моделью, изменения могут реактивно синхронизироваться между ними, избавляя от необходимости блокировки модели.}}
	> Например, когда несколько пользователей работают одновременно над одной и той же моделью, изменения могут реактивно синхронизироваться между ними, избавляя от необходимости блокировки модели.
			Потоки событий образуют базовую абстракцию, на которой строятся такие связи. Сохраняя их реактивными, мы избегаем блокировок и позволяем преобразованиям и коммуникациям быть асинхронными и неблокирующими.

			{{Notice\|Реактивные приложения должны иметь знание о порядках алгоритмов, чтобы быть уверенным, что время отклика на события не превышает O(1) или, как минимум, O(log n) независимо от нагрузки. Может быть включён коэффициент масштабирования, но он не должен зависеть от количества клиентов, сессий, продуктов или сделок.}}

	== Реактивные подходы к программированию ==		== Реактивные подходы к программированию ==

Dzmuh: /* Responsive (Отзывчивость) */

2023-09-01T16:47:20Z

Responsive (Отзывчивость)

← Предыдущая версия		Версия от 16:47, 1 сентября 2023
Строка 41:		Строка 41:
	Наблюдаемые модели позволяют другим системам получать события, когда их состояние изменяется. Это обеспечивает связь в реальном времени между пользователями и системами.		Наблюдаемые модели позволяют другим системам получать события, когда их состояние изменяется. Это обеспечивает связь в реальном времени между пользователями и системами.

	{{~~Info-Layout~~}}		{{Notice}}
	> Например, когда несколько пользователей работают одновременно над одной и той же моделью, изменения могут реактивно синхронизироваться между ними, избавляя от необходимости блокировки модели.		> Например, когда несколько пользователей работают одновременно над одной и той же моделью, изменения могут реактивно синхронизироваться между ними, избавляя от необходимости блокировки модели.

Dzmuh: /* Responsive (Отзывчивость) */

2023-09-01T16:46:13Z

Responsive (Отзывчивость)

← Предыдущая версия		Версия от 16:46, 1 сентября 2023
Строка 41:		Строка 41:
	Наблюдаемые модели позволяют другим системам получать события, когда их состояние изменяется. Это обеспечивает связь в реальном времени между пользователями и системами.		Наблюдаемые модели позволяют другим системам получать события, когда их состояние изменяется. Это обеспечивает связь в реальном времени между пользователями и системами.

			{{Info-Layout}}
	> Например, когда несколько пользователей работают одновременно над одной и той же моделью, изменения могут реактивно синхронизироваться между ними, избавляя от необходимости блокировки модели.		> Например, когда несколько пользователей работают одновременно над одной и той же моделью, изменения могут реактивно синхронизироваться между ними, избавляя от необходимости блокировки модели.

Dzmuh: /* Концепции */

2023-09-01T16:45:35Z

Концепции

← Предыдущая версия		Версия от 16:45, 1 сентября 2023
Строка 15:		Строка 15:

	== Концепции ==		== Концепции ==
			Реактивное программирование — это программирование с асинхронными потоками(streams) данных (парадигма программирования, ориентированная на потоки данных и распространение изменений).

			Реактивная архитектура позволяет программистам создавать событийно-ориентированные, масштабируемые, отказоустойчивые и отзывчивые приложения — приложения, работающие в реальном времени и обеспечивающие хорошее время реакции, основанные на масштабируемом и отказоустойчивом стеке и которые легко развернуть на многоядерных и облачных архитектурах. Эти особенности критически важны для реактивности.
			=== The Reactive Manifesto ===
			==== Message Driven (Ориентированность на события) ====
			В событийно-ориентированном приложении компоненты взаимодействуют друг с другом путём отправки и получения сообщений — дискретных частей информации, описывающих факты. Эти сообщения отправляются и принимаются в асинхронном и неблокирующем режиме.

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

			Событийно-ориентированные системы более склонны к push-модели, нежели чем к pull или poll. Т.е. они проталкивают данные к своим потребителям, когда данные становятся доступными, вместо того чтобы впустую тратить ресурсы, постоянно запрашивая или ожидая данные.

			==== Elastic (Масштабируемость) ====
			The system stays responsive under varying workload (при изменяющейся нагрузке).

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

			==== Resilient (Отказоустойчивость) ====
			The system stays responsive in the face of failure.

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

			==== Responsive (Отзывчивость) ====
			The system responds in a timely manner if at all possible (приложения реального времени). Отзывчивый определяется словарём Merriam-Webster как «отвечающий быстро или реагирующий надлежащим образом».

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

			> Например, когда несколько пользователей работают одновременно над одной и той же моделью, изменения могут реактивно синхронизироваться между ними, избавляя от необходимости блокировки модели.

	== Реактивные подходы к программированию ==		== Реактивные подходы к программированию ==

Dzmuh: /* Ссылки */

2023-08-28T14:06:02Z

Ссылки

← Предыдущая версия		Версия от 14:06, 28 августа 2023
Строка 69:		Строка 69:
	[[Категория:Функциональное программирование]]		[[Категория:Функциональное программирование]]
	[[Категория:Парадигмы программирования]]		[[Категория:Парадигмы программирования]]
			[[Категория:Стратегии вычисления]]

Dzmuh: Новая страница: «{{Парадигмы программирования}} '''Реактивное программирование''' — парадигма программирования, ориентированная на потоки данных и распространение изменений. Это означает, что должна существовать возможность легко выражать статические и динамическ...»

2023-08-28T14:00:33Z

Новая страница: «{{Парадигмы программирования}} '''Реактивное программирование''' — парадигма программирования, ориентированная на потоки данных и распространение изменений. Это означает, что должна существовать возможность легко выражать статические и динамическ...»

Новая страница

{{Парадигмы программирования}}
'''Реактивное программирование''' — [[парадигма программирования]], ориентированная на потоки данных и распространение изменений. Это означает, что должна существовать возможность легко выражать статические и динамические потоки данных, а также то, что нижележащая модель исполнения должна автоматически распространять изменения благодаря потоку данных.

К примеру, в императивном программировании присваивание <code>a = b + c</code> будет означать, что переменной <code>a</code> будет присвоен результат выполнения операции <code>b + c</code>, используя текущие (на момент вычисления) значения переменных. Позже значения переменных <code>b</code> и <code>c</code> могут быть изменены без какого-либо влияния на значение переменной <code>a</code>.

В реактивном же программировании значение <code>a</code> будет автоматически пересчитано, основываясь на новых значениях.

Современные табличные процессоры представляют собой пример реактивного программирования. Ячейки таблицы могут содержать строковые значения или формулу вида «=B1+C1», значение которой будет вычислено исходя из значений соответствующих ячеек. Когда значение одной из зависимых ячеек будет изменено, значение этой ячейки будет автоматически обновлено.

Другой пример — это [[язык описания аппаратуры|языки описания аппаратуры]] (HDL), такие как [[Verilog]]. Реактивное программирование позволяет моделировать изменения в виде их распространения внутри модели.

Реактивное программирование предлагалось как путь для лёгкого создания пользовательских интерфейсов, анимации или моделирования систем, изменяющихся во времени.

К примеру, в [[Model-View-Controller|MVC]] архитектуре с помощью реактивного программирования можно реализовать автоматическое отражение изменений из Model в View и наоборот из View в Model.

== Концепции ==

== Реактивные подходы к программированию ==

=== Императивное реактивное программирование ===
Можно соединить парадигмы реактивного и императивного программирования. В такой связке императивные программы могли бы работать над реактивными структурами данных.

=== Объектно-ориентированное реактивное программирование ===
Объектно-ориентированное реактивное программирование (ООРП) — это комбинация [[Объектно-ориентированное программирование|объектно-ориентированного]] подхода с реактивным. Вероятно, наиболее естественный способ сделать это состоит в том, что вместо методов и полей у объектов есть ''реакции'', которые автоматически пересчитывают значения, и другие реакции зависят от изменений этих значений.

=== Функциональное реактивное программирование ===
{{falseredirect|Функциональное реактивное программирование}}
[[Функциональное программирование]] является наиболее естественным базисом для реализации реактивной архитектуры, хорошо сочетаясь с [[Параллелизм (информатика)|параллелизмом]].

Функциональное реактивное программирование (ФРП) сформировалось в 1997 году, с предложением языка Fran<ref>{{Cite web |url=http://conal.net/papers/icfp97/ |title=Functional Reactive Animation |access-date=2015-09-08 |archive-date=2020-11-11 |archive-url=https://web.archive.org/web/20201111235319/http://conal.net/papers/icfp97/ |deadlink=no }}</ref>. Позже были разработаны такие языки как Fruit, FRP и RT-FRP, FAL, Frob, Fvision, Yampa<ref>{{статья
|автор = Mun Hon Cheong
|заглавие = Functional Programming and 3D Games
|издательство = The University of New South Wales
|год = 2005
|ссылка = http://www.cse.unsw.edu.au/~pls/thesis/munc-thesis.pdf
|ref = Cheong - Functional Programming and 3D Games
}}</ref>.

Простейшее функциональное реактивное выражение имеет следующую форму<ref>{{статья
|автор = Paul Hudak
|заглавие = Modular Domain Speciﬁc Languages and Tools
|издательство = IEEE Computer Society Press, Department of Computer Science, Yale University
|год = 1998
|ссылка = http://haskell.cs.yale.edu/?post_type=publication&p=125
|ref = Hudak - Modular Domain Speciﬁc Languages and Tools
|deadlink = да
|archiveurl = https://web.archive.org/web/20131017021928/http://haskell.cs.yale.edu/?post_type=publication&p=125
|archivedate = 2013-10-17
}}</ref>:
<source lang=haskell>
b1 `until` e => b2
</source>
что буквально означает «''вести себя как <code>b1</code> до возникновения события <code>e</code>, после этого вести себя как <code>b2</code>''».

== Реализации ==
* [[Elm (язык программирования)|Elm]] — функциональный реактивный язык программирования, компилирующийся в [[HTML]], [[CSS]] и [[JavaScript]]
* {{iw|Flapjax}} — событийно-реактивный язык для программирования веб-приложений
*[http://reactivex.io ReactiveX] — мультиплатформенная реализация реактивного программирования для [[Java]], [[JavaScript|JS]], [[C Sharp|C#]], [[Scala (язык программирования)|Scala]], [[Clojure]], [[Swift (язык программирования)|Swift]] и др.
* [[Reactive.jl]] — FRP-реализация для [[Julia (язык программирования)|Julia]]
*[https://github.com/IgorBuchelnikov/ObservableComputations ObservableComputations] — мультиплатформенная реализация для .NET

== Примечания ==
{{примечания}}

== Ссылки ==
{{википедия|Реактивное программирование}}
{{Wikipedia-en|Reactive programming}}

[[Категория:Функциональное программирование]]
[[Категория:Парадигмы программирования]]