Reaktywne

Porównujemy języki na bazie OCamla: ''Lucid Synchrone'' [[http://www.lri.fr/~pouzet/lucid-synchrone/]], ''Reactive ML'' [[http://rml.inria.fr/]], biblioteki dla OCamla ''Objective Caml Reactive Toolkit'' [[http://users.wpi.edu/~squirrel/ocamlrt/]], moduł ''Event'' [[http://caml.inria.fr/pub/docs/manual-ocaml/libref/Event.html]], oraz podejście obiektowe. Reactive Toolkit jest wzorowany na ''Yampa'' [[http://www.haskell.org/yampa/]], oraz na ''FrTime'' dla PLT Scheme [[http://citeseer.ist.psu.edu/cooper04frtime.html]]. Zbadamy też bliżej FrTime.

Porównujemy języki na bazie OCamla: ''Lucid Synchrone'' [[http://www.lri.fr/~pouzet/lucid-synchrone/]], ''Reactive ML'' [[http://rml.inria.fr/]], oraz bibliotekę dla OCamla ''Objective Caml Reactive Toolkit'' [[http://users.wpi.edu/~squirrel/ocamlrt/]]. Reactive Toolkit jest wzorowany na ''Yampa'' [[http://www.haskell.org/yampa/]], oraz na ''FrTime'' dla PLT Scheme [[http://citeseer.ist.psu.edu/cooper04frtime.html]]. Zbadamy też bliżej FrTime.

!!!! "Signals = Events"

->For each signal in a FrTime program, we construct a signal data structure. The
  data structure contains an update procedure, which computes the signal’s value, and a
  mutable field that stores the signal’s most recently computed value. Thus, there is an
  implicit notion of real time, which the system exhibits directly.

->A special thread called the signal manager is responsible for keeping signals current.
  It maintains an explicit graph of the dependencies between signals. For example,
  when we evaluate (even? seconds), the resulting behavior depends on seconds, so the
  signal manager needs to recompute it whenever seconds changes.

->The manager uses an asynchronous message queue to control all computation. For
  example, when seconds changes, the manager sends itself an update message for each
  dependent signal. When it dequeues such a message, it recomputes the corresponding
  signal. This in turn may demand recomputation of yet more signals, so evaluation proceeds
  recursively in a breadth-first, bottom-up manner.

->Some signals require re-evaluation after intervals of time. For example, seconds
  needs to update once every second. The signal manager supports this capability by
  keeping a prioritized “alarm” queue, which maps signals to update times. On each iteration
  of its processing loop, the manager checks whether the current time exceeds
  the earliest alarm in the queue. If so, it executes the corresponding update; otherwise,
  it sleeps until either the next alarm or the arrival of a message. Our asynchronous
  message-passing library makes this easy by providing a receive construct with a fine
  (millisecond-granularity) timeout parameter.

Podstawowym typem są sygnały: zdarzenia (''events'') i zachowania (''behaviors''): w rzeczywistości są to funkcje sygnałowe. System rejestruje sygnały "wynikowe" programu: punkty końcowe (''endpoints'') i uaktualnia się przez zaaplikowanie wszystkich (?) punktów końcowych do wejścia systemu. W tym sensie jest synchroniczny. Z drugiej strony, uaktualnienie następuje na życzenie bibliotek generujących wejścia systemu (wywołujących @@send_event@@ albo zmieniającą wartość danego zachowania @@set_cell@@). Sygnały są memoizowane dla danej chwili "w punktach złożenia" w każdym sygnale złożonym. Zauważ, że gdyby sygnały nie były funkcyjne tylko imperatywne -- gdyby modyfikowały się zamiast konstruować kontynuację -- to zepsułoby semantykę Reactive Toolkit, bo sygnały robiłyby w jednej chwili tyle kroków, ile razy są wykorzystane (chyba, żeby memoizację przesunąć z zastosowania sygnału na sam sygnał).

Porównujemy języki na bazie OCamla: ''Lucid Synchrone'' [[http://www.lri.fr/~pouzet/lucid-synchrone/]], ''Reactive ML'' [[http://rml.inria.fr/]], oraz bibliotekę dla OCamla ''Objective Caml Reactive Toolkit'' [[http://users.wpi.edu/~squirrel/ocamlrt/]]. Reactive Toolkit jest wzorowany na ''Yampa'' [[http://www.haskell.org/yampa/]], oraz na ''FrTime'' dla PLT Scheme [[http://citeseer.ist.psu.edu/cooper04frtime.html]].

!! Reactive Toolkit

!!! Reactive Toolkit ''FrCore''

!!! Reactive Toolkit ''Fr''

!! FrTime

!! Reactive ML

!! Lucid Synchrone

!!! "Behaviors = Streams"

!!! "Signals = Events"

!!! Automaty (w szerokim sensie)

Podstawowym typem są funkcje sygnałowe, dla danego wejścia obliczające wyjście oraz kontynuację (funkcję sygnałową dla kolejnego kroku systemu). Z mniejszych funkcji sygnałowych składa się większe, tak że wyjścia jednych funkcji sygnałowych stają się wejściami innych. Obliczenia są synchroniczne: krok systemu to zaaplikowanie głównej funkcji sygnałowej do wejścia systemu, obliczenia "rozchodzą się ''top-down''".

Porównujemy języki na bazie OCamla: ''Lucid Synchrone'' [[http://www.lri.fr/~pouzet/lucid-synchrone/]], ''Reactive ML'' [[http://rml.inria.fr/]], oraz bibliotekę dla OCamla ''Objective Caml Reactive Toolkit'' [[http://users.wpi.edu/~squirrel/ocamlrt/]]. Semantyka Reactive Toolkit jest wzorowana na ''Yampa'' [[http://www.haskell.org/yampa/]], a implementacja na ''FrTime'' dla PLT Scheme [[http://citeseer.ist.psu.edu/cooper04frtime.html]].

!! Wstępne uwagi
Lucid Synchrone jest najbogatszym językiem spośród tych trzech, a Reactive ML najprostszym. Lucid Synchrone i Reactive ML są z czasem dyskretnym, a Reactive Toolkit łączy czas ciągły ze zdarzeniami w dyskretnych chwilach (ale w obecnej wersji nie daje dostępu do zegara czasu ciągłego). Zegary w Lucid Synchrone są "pierwotne" i łatwo się nimi manipuluje (można przetaktować każdy proces), a w Reactive ML trzeba zegary symulować przy pomocy sygnałów (tzn. jeśli chce się przetaktować jakiś proces, to trzeba od początku napisać go jako reaktywny względem zegara emitującego sygnały).

!! Szkic semantyk
Wartości OCamla są w Lucid Synchrone zamieniane na strumienie wartości, a typy na typy strumieni wartości odpowiednich typów, np. @@int@@ to typ strumieni liczb całkowitych a @@1@@ to strumień jedynek. Inaczej jest w Reactive ML: wartości OCamla oraz zdarzenia są odseparowane, wartości OCamla są natychmiastowe i mają taką samą semantykę jak w OCamlu, zdarzenia mają specjalny typ [@ ('a, 'b) event@], gdzie [@'a@] to typ wartości sygnału wejściowego, a [@'b@] wyjściowego. Lucid Synchrone i Reactive ML są systemami z czasem dyskretnym: odpowiedzi na zdarzenia i emisje zdarzeń są podzielone na tury. Reactive Toolkit łączy czas ciągły: zachowania -- obiekty, które w każdej chwili posiadają określoną wartość, z czasem dyskretnym: zachodzącymi w określonych chwilach zdarzeniami.

Podstawowym bytem w Reactive ML są nazwane sygnały.

Porównujemy języki na bazie OCamla: ''Lucid Synchrone'' [[http://www.lri.fr/~pouzet/lucid-synchrone/]], ''Reactive ML'' [[http://rml.inria.fr/]], oraz bibliotekę dla OCamla ''Objective Caml Reactive Toolkit'' [[http://users.wpi.edu/~squirrel/ocamlrt/]].

!! Szkic semantyki
Wartości OCamla są w Lucid Synchrone zamieniane na strumienie wartości, a typy na typy strumieni wartości odpowiednich typów, np. @@int@@ to typ strumieni liczb całkowitych a @@1@@ to strumień jedynek. Inaczej jest w Reactive ML: wartości OCamla oraz zdarzenia są odseparowane, wartości OCamla są natychmiastowe i mają taką samą semantykę jak w OCamlu, zdarzenia mają specjalny typ [@ ('a, 'b) event@], gdzie [@'a@] to typ wartości sygnału wejściowego, a [@'b@] wyjściowego.