reactive-banana Review

Unlike monadic FRP implementations, operations on reactive-banana's behaviors aren't inherently sequential. This allows more opportunities for laziness, parallelism and similar optimizations.

Rather than being constructed inside a monad or arrow, reactive-banana behavior networks are a set of mutually-recursive pure functions. Events and behaviours can easily be composed with each other to form new ones. This style encourages the types to be written down explicitly, which in turn makes the code easier to understand.

reactive-banana has existing interfaces for wx and SDL, and wrapping other GUIs is extremely straightforward.