2 ms·
Thank you for sharing your thoughts and ideas Sean, appreciated. I am unfamiliar with the source material and I have recorded the paper you linked to my readin
by samsquire 3y ago
Thank you for sharing your thoughts and ideas Sean, appreciated.
I am unfamiliar with the source material and I have recorded the paper you linked to my reading list.
From a description of "stream fusion", it reminds me of Clojure's "transducers".
It also reminds me of Kafka's Table/Stream duality.
Term rewriting is something is really interesting to me.
Communication, protocols and Communicating sequential processes, session types are all ideas I am thinking about and trying to understand.