For more on the "Functional Patters are Concurrency Patterns" idea, see Bob Harper's recent post on the subject:

https://existentialtype.wordpress.com/2011/03/17/parallelism...

(The whole blog is worth reading; Harper is basically giving a blow-by-blow as CMU rolls out it's new functional-programming-first CS curriculum.)