[seanmcdirmid]

XAML is a markup language, that counts as declarative, but you can think of it as a subtraction of C# (the ability to create instances and bind their properties), it doesn't add any advanced declarative programming features and definitely nothing fancy type-wise as in F#.

I don't know what they did, but it seems reasonable that it would share a type checker with C# but have a unique parser.