> As far as I can tell, the language has no way of safely and reliably > verifying that any data being sent to a different thread (using channels or > any other method) is isolated.
Well but `isolate` does exactly that. Can we make the analysis smarter to allow for more programs to be written? Most likely, sure. Are these programs interesting and more than mere toys? I don't know. And apparently you don't know either because your programs don't use isolated data. Which is fair enough but then I don't understand your sympathy for a "shared nothing" actor model. "Nim doesn't ensure data isolation so I cannot use it safely and also my data is not isolated". I really don't understand it. It feels like you love the idea of shared nothingness and when this old academic idea clashes with reality you blame Nim for the contradiction.
