"The future of powerful computers is probably a hybrid of various processing units, memory architectures, and special purpose hardware. We're going to need software abstractions to deal with this complexity." (from Me <<a href="http://news.ycombinator.com/item?id=419717>" rel="nofollow">http://news.ycombinator.com/item?id=419717></a>)<p>This is exactly the sort of stuff we're going to need. "GPU and CPU computations can be freely interleaved with the type system tracking the two different modes of computation." (from the article)<p>This sounds promising... I'm going to give this paper a careful read.