Home

Welcome to the pendulum wiki!

Description

pendulum is a language dedicated to the programming of reactive systems on the Web. It has a powerful expressivity to describe synchronous concurrent systems communicating with broadcasted signals. Its constructions and implementation are mostly based on Esterel. The language is embedded in OCaml as a syntax extension. It allows the programmer to describe reactive machines as OCaml values, and run them on signals arguments. The compilation of concurrency in pendulum is completely sequential and static.

The core language is completely compatible with vanilla OCaml compiler.

Please do not use pendulum for now, as it is an early prototype

TODO

• Run
  • Generation of Instantiate_run ??
  • The scheduling must take account of run
    • We need the information of which signal can be emited This is the outputs of the machine, and only the outputs can go out of a machine call
    • We can had this informations by splitting the Run call in two parts : inputs and ouputs
    • Watever happens, we trust the programmer and try to generate the code. The call to run will not compile if the signals are not in the right order. So we can deduce who is input and who is output.