To answer a question I've heard a couple times now, WCF is almost entirely written in C#. And, almost every line of that C# is managed, type-safe, and verifiable. There's very little in WCF that you can't do with just the Base Class Libraries in the 2.0