[r6rs-discuss] Implicitly Concurrent Scheme

[John Cowan]

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.

+1

> 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.