FLOREnce: A Hybrid Logic-Functional Reactive Programming Language
summary
Claims a new language called FLOREnce that fuses event-based FRP reactors with rule-based logic by compiling reactors to a dataflow graph, rules to a Rete graph, and linking them with inter-paradigm nodes. Implements collect/forall operators to translate events both ways, uses buffered events with time-to-live to avoid unbounded memory, and evaluates a fast-food demo vs Racket: some dependency code grows but becomes clearer, other categories shrink, showing the approach is practical.
AI-written summary · about
chapters (12)
- 0:00Intro
- 0:251. Functional Reactive Programming
- 0:532. Logic Reactive Programming
- 2:01Insight: AND "Real" And Missing in Functional Reactive Programming Languages
- 4:14Running Example: Fast Food Restaurant
- 4:50Structure of a FLOREnce Program
- 5:44Reactors Functional Reactive Programming
- 8:04Rule Logic Reactive Programming
- 9:59Different Kind of Values in Both Paradigms Logical Events VS Functional Events
- 12:06Collect Operators Inter-paradigm: Functional Logical
- 13:59Implementation Strategy
- 14:38Validation: Measuring Expressiveness
related talks
29mWhat is Functional Reactive Programming?
46mFunctional Reactive Programming
31mThe Beauty and Elegance of Functional Reactive Animation
43mAn Imperishable Wonderland of Infinite Fun
53mReactive Mythbusters With Reactor
20mOn the paradigm of functional programming
45mFunctional Reactive Programming in Elm
29mModal FRP for all: Functional reactive programming without space leaks in Haskel...