Скиньте код на флоу, я перепишу на ТС, если можно

я хотел в общем случае, чтобы я мог мапить любой объект, а частный случай в принципе легко сдеелать

const foo = (): never => {
  while (true) {
    // ... Some code
  }
};

nst bar = (): never => {
  throw new Error('Not implemented yet');
}
А

Да, но в случае с while(true), мы пойдем , но не выйдем... А в случае со throw, было бы хорошо иметь аннотацию как в яве...

типа const bar = (): throws Error => { /* ... */ }?

Да

В TS есть mapped types, дающие тот же функционал.
$ObjMap и $ObjMapi можно реализовать так (с примерами из документации Flow): play.

У TS здесь два ограничения, по сравнению с Flow.
Во-первых, в TS нет функций на типах — но их вполне заменяют типы-дженерики с infer.
Во-вторых, типы-дженерики нельзя передавать в качестве аргументов другим дженерикам (то есть они не являются функциями первого класса).
Из-за этого реализация $ObjMap на TS в качестве второго аргумента принимает не функцию-маппер, а ключ, под которым нужный дженерик-маппер лежит в некотором глобальном регистре мапперов.

На деле при переходе с Flow на TS удобнее "инлайнить" нужные мапперы прямо в местах использования $ObjMap.

Подскажите пожалуйста, как сделать так чтобы тайпскрипт понял в каком случае какой тип нужно использовать?
https://www.typescriptlang.org/play/?ssl=1&ssc=1&pln=22&pc=2#code/C4TwDgpgBACgNgQxBATgEQcBUC8UDeUAlgCYBcUAzsCkQHYDmA3FHQgLYQXW2NQC+TAFChIUAMpZg0PIQBGIAJLkCUANqluNegwC6FeElQYsAlqUpbeDNbrMjw0AIIkSTgMbAiAezq4CQlBQolxQAEQIrmHCQWBIcN6RBojI6JgIwvwOYmgQcBDSHl6+-viBwY4UYSR5BRDR5XEgCUlU2oyZ2dAAoiREwEU+frLlIVUQfcANsfGJKoapJhlCWSFQgyV4Lm6eQ1AAPlC5+YW7JYe9-Rt0wkLuvtRQKBMAru6o-gAU1Jihkr8AGlUISBTRaJAEFGuAEpcAA+AJBe50R6ECxAhTKAT+H7SW5BSgAd367gAFlBPiFYWUgkiEJRoBEomRyrSngUXig-DS2bSLBQ1AA6YXoqBguaC0i6AGs3mYlQ83m04WC+UypVstTiyKSkj6MWzSLqjX8Y1swSy9z0xk1E71FlK57ATnc2Vs-nEEiUQUAMyIcGkKE+n1IsJwCNIUAAhDg8NqSLroWa5UoVN52P1PmqDc0JaHk0ELWyrQzwhN+mEHbynS7ERqVbiIAXafKKIr68K1W7eVrDQmpRR483C82i7Saj6EC8A1W2TWuW1fjEBCsmEA

Не делать деструктуризацию action в аргументе

Ну и проще не использовать FSA стандарт.

FSA это что?

Просто тип action.someData, все примеры же есть на сайте редакса

А как в vscode группировать .ts и .js файлы с одинаковыми названиями?

Хочу понять кое чего ) проголосуйте кому не лень =)

relay дает свой особенный стор, завязанный на graphql

наверное vuex, а не nuxt

да, простите, и отредактировать уже не дает

Mobx/Rxjs можно использовать вместе с DDD и rich model, так как они не диктуют архитектуру, а дают удобную реактивность

да, есть такое, но получается слегка запачканая архитектура )