Ah! bummer. Since a long time I had an eye on the BitC project, the idea seemed very compelling. When Jonathan Shapiro quit Microsoft and resumed @ Coyotos I w

Ah! bummer. Since a long time I had an eye on the BitC project, the idea seemed very compelling. When Jonathan Shapiro quit Microsoft and resumed @ Coyotos I was really hopeful that the pace of the development will kick up a notch or two and we would have an usable BitC shortly. Now it is clear that is not going to happen, but in the process if we have a better language its perhaps good (though honestly cant hide the disappointment that it is going to be a longer wait). For those who are interested in things similar follow the development of decac http://code.google.com/p/decac/ http://code.google.com/p/decac/ It has been on HN a few times, and ATS. Snippets from http://cs.likai.org/ats http://cs.likai.org/ats ATS is a bit similar to and can be used like: C, which offers you very fine control over memory allocation as well as the management of other kind of resources. ML, except you have to annotate types for at least the function arguments and return types Dependent ML, using dependent types to help you reason about data structure integrity, from something as simple as requiring two lists to be zipped to have the same length, to preserving tree-size invariant when rotating AVL trees to the left or to the right in order to guarantee well-balanced property of AVL trees. ...and it is mighty fast. http://en.wikipedia.org/wiki/ATS_(programming_language) http://en.wikipedia.org/wiki/ATS_(programming_language)