Relational Reactive Programming: miniKanren for the Web

on YouTube ↗30m

" summary

Implements a micro Todo MVC using a JavaScript miniKanren runtime and a new reactive unification operator that records provenance in the substitution and applies all updates simultaneously at the next timestep. Renders lists by using memro non-determinism to produce answers and ties each answer to DOM nodes via a reified search tree so updates can be surgically diffed and applied. Prototype works for the demo but codebase is rough and experimental.

AI-written summary · about

" chapters (8)

1. 0:00Introduction
2. 1:05Todo MVC in miniKanren
3. 3:31Model to view sync
4. 8:46Virtual DOM approach
5. 12:20View to model updates
6. 16:36Update patterns compared
7. 19:25Data provenance tracking
8. 22:13Conclusion

" related talks

• 14mA Relational Interpreter For Synthesizing JavaScriptArtem Chirkov · miniKanren 2020
• 23mReactive Programming Made SimpleSlava Kim · JSConf.Asia 2014
• 36mFunctional-Reactive User Interfaces in the modern Web PlatformDario Mannu · Functional Conf 2025
• 01h 00mReactive Programming, State Management, and Redux for the Modern Front End DevJennifer Wadella · NDC London 2021
• 33mResumable JavaScript from ScratchJeff Whelpley · DevReach 2022
• 38mThe challenges and benefits of a functional reactive frontendIan Davis · Strange Loop 2014
• 51mReactive Programming with JavaScriptGiorgio Natili · Codemotion Rome 2016
• 36mFunctional reactive UI with JavaScriptZaiste · Lambda Days 2016