Matthias Kilian:
> But is this specification sound and complete? I'd a look at the C#
> speccifcation, which is a bad joke. For example, there's a
> section about
> the switch statement, which elaborates on the "fall-through"
> problem.
I agree that this construct is a touch under-specified; I've emailed
the C# team with your criticism so hopefully it will get fixed. However,
it seems a little harsh to conclude that the .NET runtime is to be avoided
as a target.
As far as the specification of the intermediate language is concerned, I
find
it reasonably clear and certainly precise enough to target a compiler (we're
working on an SML compiler at MS Research Cambridge). Perhaps some of the
non-MS
.net compiler implementers would like to comment further?
- Andrew Kennedy.
