>>40
静的型付け言語だからそういうのの解析が容易にできる
あとはMSが頑張ってるからというのもある
同じくMSが頑張ってるTypeScriptとかもできるしC++も制限付きでできる