|
|
|
|
|
by noelwelsh
705 days ago
|
|
Some of the videos are broken for me (using Firefox). Otherwise looks pretty neat. Compared to FRP it is perhaps a bit more declarative in the definition of scopes, but otherwise seems equivalent. I'm interested in more details on this. I'm also a bit confused by > This model has not yet been formalised, and while the propagators themselves can be simply expressed as a function ... I have not yet found an appropriate way to express scopes and the relationship between the two. This seems straightforward to me (e.g. a scope could be a set of types, where each distinct event has a distinct type) so I think I'm missing something here. |
|
I encourage people to read the original Propagator Networks paper by Alexey Radul (advisor: Prof. Gerald Sussman of SICP) referenced in the Prior Work section. It's full of fascinating ideas.
https://dspace.mit.edu/handle/1721.1/54635