Re:Synit – A Reactive Operating System
by tonyg on Saturday July 15, 2023 @01:34PM
(#36739175)
Thanks for the questions.
1. Applying the same tools used in the SAM for managing concurrency and interactivity "in the small" to "larger" aggregations of components, and starting to get insight into the semantics of operating systems, if you like. For examination of the advantages and drawbacks of the SAM, see
https://syndicate-lang.org/tonyg-dissertation/html/.
2. Loosely, but only loosely. My dissertation (linked just above) discusses FRP a little, but in a nutshell, the SAM has ambition that covers more area than FRP.
3. Yes, absolutely. I've done some experimentation, but nothing rigorous yet.
From the points you mention, I think there might indeed be some common underlying thing here we're looking at from different perspectives!
Re:Synit – A Reactive Operating System
by toomim on Saturday July 15, 2023 @01:46PM
(#36739293)
Thank you! Hm, so is it safe to say that this is an experiment for you in applying the SAM to a real operating system, to see how the model works in practice?
1. Applying the same tools used in the SAM for managing concurrency and interactivity "in the small" to "larger" aggregations of components, and starting to get insight into the semantics of operating systems, if you like. For examination of the advantages and drawbacks of the SAM, see https://syndicate-lang.org/tonyg-dissertation/html/.
2. Loosely, but only loosely. My dissertation (linked just above) discusses FRP a little, but in a nutshell, the SAM has ambition that covers more area than FRP.
3. Yes, absolutely. I've done some experimentation, but nothing rigorous yet.
From the points you mention, I think there might indeed be some common underlying thing here we're looking at from different perspectives!