How does this compare to something like TAL?
http://channel9.msdn.com/Shows/Going+Deep/Chris-Hawblitzel-and-Juan-Chen-Introduction-to-Typed-Assembly-Language-TAL
Are they completely different, do they overlap, exactly the same? I'm just curious.
Will vefified language approaches like this be able to have abstractions like C++ AMP.
http://channel9.msdn.com/posts/Daniel-Moth-Blazing-fast-code-using-GPUs-and-more-with-C-AMP
Are there efforts to auto optimize for different memory setups, like computer clusters, harddrives, local memeory, etc... kinda a distanct to information optimization based on a verified spec? A language call Sequoia++ is similar to this.
http://sequoia.stanford.edu/
This was a great talk, thanks.
posted by AceHack