Haai
Reactive programming without lifting.

Documentation

An introduction to Haai

Haai is a purely reactive programming language that looks and smells like Scheme, but with completely different semantics, namely the reactive kind. Haai lacks the notion of lifting, an operation that is commonly found in many reactive programming languages. In many reactive programming languages it is possible to lift any function (even one with side effects) and apply it on reactive values. The lifted function has access to the full functionality of the host language which enables (e.g.,) library reuse, at the cost of having a risk that the reactive program to misbehave if the lifted function performs an impure or non-terminating computation (which may lead to unresponsiveness).

Haai's main design principle is "Reactors all the way down": everything in Haai is a reactor: a graph with computations denoting the dependencies between the various components (signals) of the language.

This page contains a list of resources detailing the Haai programming language.