Scripted Signal Functions
summary
Introduces two new primitive transforms on arrow-based signal functions, builds a monad of modes and a scripting API for Yampa-style FRP, and implements operators like runMode, loopMode, mapMode, onlyUntil and a state-exposing vein plus mix/voice/chorus for concurrent threads. Examples include a looped walk animation, a fireworks show mixing parallel rockets, and GUI/scene automata. Papers notes correctness tradeoffs (Either vs pair for termination), hasn’t fully measured performance and reports possible GC pauses when heavily threaded.
AI-written summary · about
chapters (8)
- 0:00Intro
- 0:54Outline
- 1:36Signal functions
- 4:04Monad for switching
- 7:14Sequential modes
- 13:21Concurrent modes
- 18:20Related work
- 19:28Future work Conciseness, efficiency, teatures
related talks
26mFRP and Functional Game Programming
09mFunctional Reactive Programming And The Web Audio API
46mFunctional Reactive Programming
46mStreams, effects and beautiful folds, a winning trilogy
25mFunctional effect and streaming systems in Clojure
01h 06mTransient: Unrestricted Algebraic and Monadic Composability
20mStandardizing Signals in TC39
35mEffect ful computations with Fibers