Отвратительная ситуация, у парента есть лист чилдренов, у каждого чилдрена ссылка на парента.

Следовательно при создании детей, нам уже нужна существующая ссылка на парента шоб каждому ее запихнуть, но и паренту нужна ссылка на готовый список ребятишек.

Вот приходится выкручиваться делая этот список у парента мутабельной переменной(либо мутабельным списком) ради того чтобы сначала создать парента с пустым списком, наспавнить детишек со ссылкой на парента с пустым списком, а потом собственно имея список детишек заменить ими пустой у парента(105)

Ну некрасиво же, и ведь вполне можно было бы с точки зрения системы типов(особенно линейной аля раст) выводить что во всех возможных ветвлениях мы поле чилдренов заполняем, и допустим изначально ставить его nullом(хотя поле не нуллабл), а потом честно заполнять, ну или еще чтото придумать без нулла, какой нибудь ts тип unknown

И ведь добавить такой анализ вроде нет никаких проблем, механизмы анализа инициализации во всех ветках(допустим в котлине) уже есть, вот создаем Иммутабельную! val переменную(98)

1) контрол флоу анализ видит что она никуда не присваивается и не бурчит
2) sas присваивается, но оййой, не во всех ветках инициализирована
3) все в порядке, но сэр, вы могли бы заменить if на expression
4) все в порядке, но сэр, вы могли бы джойнуть декларацию и ассигмент
5) Спасибо