We have some unusual strategies for achieving parallelism. The ordinary 'for' loop is parallel, and we're trying out the feel of writing programs in this style. We're also working on a more elaborate 'type' system that does more error checking than has been done in the past. Roughly speaking, we can say that something is not just an array but an array of numbers.

Guy Steele