Ben: CLR is a mixed bag - it's not well received in the linux world, for example. But that's mostly beside the point. There are three problems with CLR from my perspective:
1. While I can work in C#, I'm about twice as fast in C/C++, and I want to get something built. 2. While the CLR assembly format is rich in the way that you say, it isn't rich enough for BitC and so needs to be reinvented in any case. I'd rather do that "clean" rather than trying to shoehorn things into CLR. 3. The CLR safety verifier is going to seriously get in the way of performant code. Of these, [1] is the important one.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
