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

Documentation

see a slight documentation and notes taken about compiling to Esterel graph's code.

TODO

• Documentation :

  • write examples
  • comment surf / depth
  • other comments

• API

  • output takes a callback triggered when they are emited
  • input takes a call which triggers the machine or better which update the signal value and presence So the presence must not be reset each beggining of a step ? (maybe at the end ?)

• Language

  • add first class machines (necessary)
  • maintain signals values or presence informations between steps
  • gathering operators at signal definitions (several emission of the same signal at the same instant
  • pre
  • n-ary parallel operator and/or gathering (at signals definition)

• DOM

  • try setTimeout and requestAnimationFrames as global clocks