Я не иду крестовым походом, а говорю о наболевшим. Изначально мы говорили про невыразительность системы типов в шарпе, что я и показал, но вы пытаетесь мне доказать что есть обходы и альтернативные решения, конечно есть иначе бы никто не писал на нем. По поводу озвученных проблем "инициализаций" не понимаю почему Вы тут принижаете значимость этого, это же огромнейшая проблема, которая выстреливает в ноги дотнетчикам регулярно на постоянной основе, я даже не задумывался какой это был ад, когда не попробовал что-то по строже типа ts, reasonml, F#. Я сравнивал ts и c# только в контексте типизации, потому что ts это только про типы, все что касается рантайма это уже js. В C# нету алгебраических типов данных, нет null safe, нету строковых литералов в типах, нету conditional types, нету аналога utility types как в ts, нет soundness(кстати и тот всеми любимый прикол про вариантность массива, так же выстреливает ноги и в шарпе), в с# так же можно игнорироовать типы и парой символов ломать всю типизацию (привет касты и боксинги и анбоксинги, а так же рефлексии). Почти все кто мало знаком с C# и ts утверждают, что лучше типизация в шарпе, чуть ли не самая лучшая - вот где реально сработал на ура маркетинг майкрософта, а не с ts как писалось выше. Я надеюсь я привел достаточное количество доводов, но как Вы будете пользоваться этим - решать Вам.