Herb Sutter on Heterosexual Computing

Looks like Microsoft is tired of HomogenousHomosexual Computing (ie. Apple/Macs) and paints a possible future of mainstream HeterogenousHeterosexual Computing.
 
http://media.ch9.ms/ch9/7655/e3d5a308-d1fb-4693-998e-9f04000f7655/AMDFusionHerbSutterKeynoteAMP_high_ch9.mp4

It's a bit Microsoft biased, made me cringe a bit in a few spots, but the bulk of the talk is rather interesting. Herb Sutter used to be the chairperson of the ISO/IEC C and C++ language committees, by the way. I wonder how the Linux kernel will adapt to heterogeneous computing? We already have OpenCL, but the kernel isn't using it itself--is there any application for this kind of stuff inside of a kernel?

>>9
but you're mixing pure with unpure code in your Scheme example
That was the whole point of the example: map is still referentially transparent. I know that, the compiler doesn't.
The difference between Scheme and C/C++ here would be that Scheme doesn't say anything about ``guaranteed pure functions'', you know that it is pure or referentially transparent.
Again, the whole point of pure functions is referential transparency.

In the second C/C++ example, a simple solution would be to have the compiler emit a runtime guard that would throw an exception if it ever was about to enter the puts function,
Simple question: are exceptions pure?