Немного подытожу.

C# -- современный инструмент, который, на мой взгляд, содержит многое ценное из того, что было задуманно в Ada. При этом, он совсем не такой сложный как Ada.

С другой стороны. C# это язык и система программирования, которая основана на ключевых идеях C++ -- успешного проекта предыдущих 20 лет. Притом, он семантически проще и C++, намного его строже, не содержит бремени совместимости с C -- совсем уж древним проектом и бОльшей части опасных особенностей. Притом, C# способствует производительности программирования.

Наконец, C#, в отличии от Java, более открыт и развивается. Как раз в сторону, желательную для приложений, которые тут обсуждаются.

Поэтому полагаю, что C# способен прорваться в эту нишу. Ничего в этом не вижу удивительного.