(Note: even smarter parallel / is possible, given non-homogenous
performance of u, but needs primitives in order to build a concurrent
queue. A primitive 'wait for any' (instead of 'wait for all') would be of
use here--I cannot bear to poll--but proper queues would be better.)
On Tue, 12 Apr
Part 2: reduction.
I cannot in good conscience write an adverb which claims to be a parallel
analogue to / but which blindly assumes all verbs are associative. In
fact, I will require a stronger than associativity: that verbs reduced in
parallel are monoids. This starts with the following def
I was going to spend my evening writing more parallel c, but I decided it
would probably be more relaxing (if less exciting) to write some parallel
j instead. So here we are: some parallel reimplementations of primitives,
in increasing order of interest:
First, some basic definitions to start