search

reflex-frp / reflex

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.
https://reflex-frp.org
BSD 3-Clause "New" or "Revised" License
1.07k stars 149 forks source link

is there a specification / paper re reflex internals? #453

Open srghma opened 3 years ago

srghma commented 3 years ago

hi @ryantrinkle in this video https://www.youtube.com/watch?v=3qfc9XFVo2c you said that you would want post a specification / paper (?) about reflex internals. Did this happen by any chance?

I see https://github.com/restaumatic/purescript-specular and it says that The FRP implementation is based on Incremental (although the algorithm differs in some important ways). Is https://github.com/janestreet/incremental somehow related to reflex?

srghma commented 3 years ago

Q re incremental was answered here https://github.com/restaumatic/purescript-specular/issues/81

Q2 left unanswered - "Is there any paper / specification?"

alexfmpe commented 3 years ago

Not sure if this counts, but there's a reference implementation https://github.com/reflex-frp/reflex/blob/develop/src/Reflex/Pure.hs