reactiveml.github.io/index.src.html at main · reactiveml/reactiveml.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
<!-- Jumbotron -->
<div class="jumbotron">
  <h1>ReactiveML</h1>
  <br>
  <p class="lead">
    A programming language for implementing interactive systems.
    ReactiveML combines the temporal expressiveness of
    synchronous languages with the power of functional programming.

    <!-- A programming language -->
    <!-- dedicated to the implementation of interactive systems. -->
    <!-- as found in video games or simulation -->
    <!-- problems. --> <!-- ReactiveML mixes the temporal expressiveness of -->
    <!-- synchronous languages with the power of functional programming. -->
  </p>

  <div id="content" class="row spaced">
    <div class="col-md-4">
      <p>
        <a class="btn btn-default btn-lg fixed-size"
           href="<#ROOTDIR>/distrib">
          Download
        </a>
      </p>
    </div>
    <div class="col-md-4">
      <p>
        <a class="btn btn-default btn-lg fixed-size"
           href="tryrml/tryrml.html">
          Try it online
        </a>
      </p>
    </div>
    <div class="col-md-4">
        <button class="btn btn-default btn-lg dropdown-toggle fixed-size" data-toggle="dropdown">
          Examples <span class="caret"></span>
        </button>
        <ul class="dropdown-menu" role="menu">
          <li><a href="examples.html">Basic Examples</a></li>
          <li class="divider"></li>
          <li><a href="examples/simulator_elip/index.html">Network Simulation</a></li>
          <li><a href="glonemo/index.html">Glonemo</a></li>
          <li><a href="reactive_asco/index.html">Reactive Asco</a></li>
        </ul>
    </div>
  </div>
</div>


 <div id='content' class='row'>
    <div class='col-md-4'>
      <h4>What is ReactiveML?</h4>
      <p>
        ReactiveML is a general purpose programming language extended with
        concurrency constructs to ease the programming of interactive
        systems. The concurrency model of the language originates from the
        synchronous model that is used to program real-time
        applications. Therefore, it takes advantages of the expressiveness
        and determinism of the model and removes the real-time constraints.
        Click <a href="<#ROOTDIR>/videos.html">here</a> to see some video
        about ReactiveML.
      </p>


    </div>
    <div class='col-md-4'>
      <h4>What are the uses of ReactiveML?</h4>
      <p>
        ReactiveML is dedicated to the implementation of interactive systems
        as found in video games and simulation problems. For example, it has
        been used to simulate power consumption in sensor networks
        (<a href="<#ROOTDIR>/glonemo/">Glonemo</a>) or to implement a
        sequencer for mixed music
        (<a href="<#ROOTDIR>/reactive_asco/index.html">ReactiveAsco</a>). More
        examples are given in
        the <a href="<#ROOTDIR>/examples.html">examples page</a>.
      </p>


    </div>
    <div class='col-md-4'>
      <h4>How to learn ReactiveML?</h4>
      <p>
        Start learning ReactiveML with
        the <a href="<#ROOTDIR>/tryrml/tryrml.html">interactive tutorial</a>
        available
        online. A <a href="<#ROOTDIR>/documentation.html">documentation</a>
        explains how to compile ReactiveML programs and gives the syntax and
        intuitive semantics of the reactive
        constructs. Finally, <a href="<#ROOTDIR>/publications.html">academic
          publications</a> describes precisely the language, its static
        analysis and implementation.
      </p>

    </div>
  </div>