The Racket family of programming languages ββcomes with FrTime , a language that turns (most of) Racket into FRP. If you run this interaction on the command line, for example,
> (current-time) Tue Jul 2 09:31:06 EDT 2013
you constantly see the right time. (Well, this was used to work with current-seconds , an error report works in the work). As far as I can tell, frtime treats variables as event streams, and this idea is important for FRP.
The universe program, unlike it, explicitly associates event handlers (and rendering functions) with certain OS hooks (for example, mouse clicks). These handlers get the full state and return the full state plus action requests (for example, sending a message). In this sense, the universe is not a FRP language.
If you were to split languages ββinto explicit vs implicit FRP languages, you can classify the Universier tutorial package as an explicit FRP language.
Matthias felleisen
source share