In my opinion, BitC is the most innovative take on systems programming we've seen since the invention of C.  While sad that it failed, I am deeply impressed by the thoughtful post-mortem by Jonathan S. Shapiro.   Here are links to the various threads of his analysis (and the equally thoughtful responses): [bitc-dev] Retrospective Thoughts on BitC... Continue Reading →