I want a language with serializable content-addressable continuations.
@abcdw erlang?..
@dpwiz Does it have continuations at all?
One of the use cases I have in mind similar to erlang's "code migration", but it's just one of consequences of serializable continuations not the goal.
@abcdw I'm not actually sure... I just know Haskell's distributed-process cribbed a lot from Erlang and one of the features that got a lot of attention, up to improving the compiler, is the ability of sending closure over wire. But unlike Erlang that can just send its bytecode, Haskell had to send a function identifier (CAS for code part) and its closure data.
@dpwiz Yup, you probably right and it requires to have the source/byte code on both ends, which means it's not exactly content-addressable and probably won't be without huge reworks.
@alanz Yes, the Unison is doing great, I follow them from time to time, very inspired by the stuff they do. Not sure it can serialize effects, but it definitely can serialize functions with their dependencies. Will need to revisit it.
@dpwiz @abcdw
Unison language is most likely to be able to do this