Приверженцы статической и динамической типизаций никогда не поймут друг друга. И TypeScript им не поможет

Благодарю за Idris, не знал о таком. Жаль, что эти псевдо-эксперты типизированных языков, которые накидали мне минусов, типы использовали только в JS и думают, что знают о типизации все. По вам видно, что вы — человек с опытом и знающий.

Приверженцы статической и динамической типизаций никогда не поймут друг друга. И TypeScript им не поможет

«С каких пор такая зависимость должна решаться на уровне типов?»
А с каких пор она НЕ ДОЛЖНА решаться на уровне типов?

«Описываете обычный тип состоящий из всех четырёх параметров.»
Вы работали с Haskell? Если бы работали, то не констатировали эту чепуху. То, что это реализуемо в JS (flow, typescript), не означает, что такое прокатит в других языках, где есть типы.

Мой изначальный вопрос ничего общего не имел с js.

Приверженцы статической и динамической типизаций никогда не поймут друг друга. И TypeScript им не поможет

И сколько нужно создавать под-типов одного типа? Данное решение является самоубийством!

Приверженцы статической и динамической типизаций никогда не поймут друг друга. И TypeScript им не поможет

А вот скажите мне, как типы помогают в фронтенде? Как написать тип, когда одна переменная зависит от другой? Например бэкенд возвращает что то вроде:

{
  id: 10,
  some_flag: true,
  other_flag: false,
}

Например, если `other_flag: true`, то возвращается еще один параметр `other_param: 'Some string' `

{
  id: 10,
  some_flag: true,
  other_flag: true,
  other_param: 'Some string',
}

Каким образом можно описать зависимость данных в типах? Только не надо писать: «Поставь `other_param?: string`». Это не решение проблемы.