Uploaded by
Published on

A proof-of-concept UI library based on the incremental lambda calculus.


As I've claimed before, you might not need the virtual DOM. In purescript-sdom, I tried to remove the need for the virtual DOM by using types to force parts of the DOM structure to be static, and then exploiting that in order to remove the need for a diff algorithm.

Here, I take a different approach, where I restrict the rendering function model -> view to the class of incrementalizable functions. That is, the rendering function must be computable in the regular sense, but it must also tell us how the view changes in response to changes in the model. In this way, we can avoid a diff algorithm, and use the incremental lambda calculus (provided by purescript-incremental) in order to propagate model changes to the DOM.

The approach here is to provide an unopinionated toolkit which can be used to define a variety of APIs. An example API is provided for reference. See the module documentation for an overview of the API.