[r6rs-discuss] Implicitly Concurrent Scheme
cowan at ccil.org
Mon Nov 23 18:26:40 EST 2009
Aaron W. Hsu scripsit:
> I also agree that this is a very important avenue of research. I also
> think that the solution will not be to make programs hard to reason
> about and understand in general, for the sake of simplifying one single
> line of reasoning, which is essentially what ICS seems to do. So, let's
> find another way of doing this.
> I think it would be quite important to have a simple semantics in Thing
> 1, and ICS would not have such a simple semantics. Removing that one
> restrictions adds a whole host of other things that could happen when
> running a program that makes a formal or even rigorous semantics hard.
> For a language particularly aimed at academic research that requires
> simplified semantics, that's not exactly helping things.
+1 to that too.
Mark Twain on Cecil Rhodes: John Cowan
I admire him, I freely admit it, http://www.ccil.org/~cowan
and when his time comes I shall cowan at ccil.org
buy a piece of the rope for a keepsake.
More information about the r6rs-discuss