[r6rs-discuss] Parallel-Scheme [was: Thoughts on Scheme's Future]

[Antonio Vieiro]

Aubrey Jaffer escribió:
[...]
 >
 > Because the evaluation-order of LET is unspecified, the behavior of
 > this program is not specified by RnRS.  Its behavior would also be
 > unspecified in the parallel-Scheme I proposed.

Agreed.

[...]

 > Concurrent-evaluation is a slight generalization of
 > unspecified-evaluation-order.  It is the majority of the discipline
 > necessary to write parallel-Scheme programs (the other part being
 > serializing side-effects to shared state).
 >
 > We've lived with unspecified-evaluation-order for decades.
 > Parallel-Scheme parlays UEO in existing code and coding practices into
 > concurrent evaluation with little modification.
 >
 > I think this would be a great improvement over the difficult and
 > bug-ridden thread management paradigms of conventional languages.
 >

I strongly agree. This would be a great improvement indeed. Haskell [1]
is working with Sun in exploiting this in CMT systems.

[1] http://haskell.org/opensparc/