FrTime: A Language for Reactive Programs

Greg Cooper

The frtime language supports declarative construction of
reactive systems in a syntax very similar to that of MzScheme. To
interact with FrTime, select FrTime from the "Choose Language" menu.
You can also make FrTime the language for a module:

provides a mechanism for applying ordinary Scheme primitives to
behaviors. If any of the vals are behaviors, returns a
behavior whose current value is always equal to (proc(value-nowarg)...). In FrTime, many MzScheme primitives are
implicitly lifted.

The following forms allow importation of lifted procedures that aren’t
included in the basic FrTime language.

The constructor arguments
are the same as in check-box%, except that label,
enabled, stretchable-width, and
stretchable-height may be time-varying. Also, any occurrence
on value-set sets the check box’s state to that of the event value.

The constructor arguments
are the same as in check-box%, except that label,
enabled, stretchable-width, and
stretchable-height may be time-varying. Also, any occurrence
on value-set sets the slider’s state to that of the event value.

The
constructor arguments are the same as in check-box%, except
that label, enabled, stretchable-width, and
stretchable-height may be time-varying. Also, any occurrence
on value-set sets the text field’s state to that of the event
value.

The
constructor arguments are the same as in check-box%, except
that label, enabled, stretchable-width, and
stretchable-height may be time-varying. Also, any occurrence
on value-set sets the text field’s state to that of the event
value.

The
constructor arguments are the same as in check-box%, except
that label, enabled, stretchable-width, and
stretchable-height may be time-varying. Also, any occurrence
on value-set sets the text field’s state to that of the event
value.

The
constructor arguments are the same as in check-box%, except
that label, enabled, stretchable-width, and
stretchable-height may be time-varying. Also, any occurrence
on value-set sets the text field’s state to that of the event
value.