@vkurchatkin а как flow дебажить?

ну то есть я хочу понять, почему flow думает, что в этом месте я ошибся, хочу выяснить, что там за тип, по его мнению. как это сделать?

ну то есть я хочу понять, почему flow думает, что в этом месте я ошибся, хочу выяснить, что там за тип, по его мнению. как это сделать?

там же вроде неплохой ерор репортинг?

ну в каких-то случаях да, в каких-то помогает только медитация))

вот думаю автокомплитом попробовать

мб action.payload нулабл?

в некоторых случаях да, но там и P nullable

ну я просто в нуклиде смотрю

в консоли что типо type-at-pos

http://bit.ly/2fv1EcZ

вот так выглядит. видимо не получить FSA описать на flow?(

а, с update понял. там надо SuccessAction поставить.

@vkurchatkin поправил ссылочку, есть идеи?

чето длинно

можно покороче пример?

щааа

Короче примерно проблема понятна

https://flowtype.org/try/#0C4TwDgpgBAygrgYwRAziggg4BLA9gOwB4AVcCALihWACdt8BzAGigAUBDEAG13YBMAfFAC8UAN4AoKFFCRKpSEylQINGrhoB+SgDN2XFBCXSwnHv0oduvPhIC+AbgkTZ0AKJqNmHARJlK1HSMQqKS0q7yZMYqnjSUtHBGyqbWFlAe6jT2Ti5kbBD4fPQM3nhEChRUtMUh4soRUBXRqpnaUHoGSSZmNpQAbrjYfNEAthDA7JRh0lCQhcXxNInKdtnOrlClvhUB1YwsVuaCIrCIyGhb5VFsPfxCAD7psZd+kA-584wvFQI5GwBi2AgXD4hFYtWmfX0iUszVilE0GQ00TmRUYlAARrhcFwIOx8GsJDo4PgsGUoEdAcDQcRdkFmGwBAAKajsYCVKkgsECFjsMkESjfA4CACUlE5oPBdWk2B0UCZfJ8+AAdGMJlAAGQaqCKsqq8bsZWo4oi6UzGjjOA0fBmmZQKFcGFVNkQZUOxLRO0tDS7F3K700T0zY3omRLCDKaSOFbOaQW4BWm3TaTuyq6gj+2JQTTO9lu6HQSjplUpI5BgNF-kqgPZnVVo23PhQSj4OBcLhBkMMXT6QwrJyrIA

вот так короче)

А почему ты думаешь, что action.payload типа P

?

Выглядит как void | Error | P

может я и не прав, а почему не P?

так там проверки есть

смотри, без PendingAction работает

а void применим к полям объектов?

Ты исходишь из того, что если есть action.meta, то это pending?

https://flowtype.org/try/#0C4TwDgpgBAygrgYwRAziggg4BLA9gOwB4AVcCALihWACdt8BzAGigAUBDEAG13YBMAfFAC8UAN4AoKFFCRKpSEylQINGrhoB+SgDN2XFBCXSwnHv0oduvPhIC+AbgkTZ0AKJqNmHARJlK1HSMQqKS0q7yZMYqnjSUtHBGyqbWFlAe6jT2Ti5kbBD4fPQM3nhEChRUtMUh4soRUBXRqpnaUHoGSSZmNpQAbrjYfNEAthDA7JRh0lCQhcXxNInKdtnOrlClvhUB1YwsVuaCIrCIyGhb5VFsPfxCAD7psZd+kA-584wvFQI5GwBi2AgXD4hFYtWmfX0iUszVilE0GQ00TmRUYlAARrhcFwIOx8GsJDo4PgsGUoEdAcDQcRdkFmGwBAAKajsYCVKkgsECFjsMkESjfA4CACUlE5oPBdWk2B0UCZAEI+T58AA6MYTEXSmY0cZwGj4bUzKBQrgwqDKsqqloaKCaKpsiCq02JKCUS0EVUpI7RY02uIW-lq-12wMqr23PhuqD4OBcLi+maohbtfSGZTSRwrZTKWXyj1qjXsL0FNEMLXTaS64D6w2VmYuyqs9nO6FdY0xTK7R3W2KJkyllMJCAZqBZzMSACQymrtYd7Kc0nsEiAA

а еще вот так работает

Ты исходишь из того, что если есть action.meta, то это pending?

action.meta && action.meta.pending

а void применим к полям объектов?

да. это undefiened

Проблема в том, что теоретически это неверно, т к и в других ветвях может быть meta

Ща проверю, но если flow это допускает, то это unsound

ну вот да, я думал об этом, то есть 2 вариант логически верней

Sound проверка может быть только по полю, которое есть во всех ветвях

если мета пустая - значит хэндлим экшн, если не пустая - это спец-поведение

Логически это будет верно для Exact типов

гм, ну у меня экшны полностью flow покрыты и не может быть меты, которая не описана в типах. то есть с exactом колдовать?

Не, пока не стоит, не думаю что это есть

Скорее всего unsound проверка работают

А, нет

Не работает

https://flowtype.org/try/#0FAFwngDgpgBAYgewTAvDA3sGMBmSBcMAziAE4CWAdgOYA0WMARkgLaEAUAlKgHwwBuCcgBNgAX2ChIsAEIBDUqgwNGCwpQCuLRlFLjJODZQDGIcgkowQUEuwAehRMgA+MeaW6Zs5HDHbhoBF87ADo8ZBRImAByEgoaaM8GAEhQ5gQWLgBuBgkYcSA

https://flowtype.org/try/#0FAFwngDgpgBAYgewTAvDA3sGMBmSBcMAziAE4CWAdgOYA0WMARkgLaEAUAlKgHwwBuCcgBNgAX2ChIsAEIBDUqgwM8CQswQAbKHMr1sjBYUoBXFoyilxknCcoBjEOQSUYIKCXYAPQomQAfGHlSbkxschwYdnBoBEivADpVVBQ0AHISCho00IYASESNFi4AbgYJGHEgA

не баг?

Вот здесь должно работать

Не баг, но не круто

Типы не пересекаются

угу, есть с чем сравнивать. так экшны примерно распознаются

Т е чисто теоретически 'FOO' и 'BAR' это точно также непересекающиеся типы

но флоу не может это гарантировать

а если указан foo и там и там - может

Да, о том и речь

@vkurchatkin https://flowtype.org/try/#0MYGwhgzhAEAq0G8BQ1oEsIDED2wCuEApgCYAUAlAFzQBG22IhYAdoiqtAE6EAuenrHpzyF2AXyTsAZvQrUAbtjTE2HdFOikeACwwA6DDnxFi5RNAD0F6DwCeAB2zs1wbMwgNCekNgDmpAHI0VhljAPIAbmdoCVQJMSA

а подобное флоу никогда не будет ловить?

Хз, я думаю это дискуссионный вопрос

Понятно, почему они так сделали, но я думаю что это плохо

в eslint написал, вроде приняли и будут делать правило, но у flow это прям лучше бы получилось

тк есть четкая граница между методом и переменной

И дело даже не в опечатке, а в том, что чтение необявленных полей это должно быть прямо вообще под запретом

ну тут js-сный неявный undefined всплывает

нет, в том то и дело, что там может быть что угодно

а что вы с reject в промисах делаете? там же any, свои дефинишны?

ERROR: S client not available

а что вы с reject в промисах делаете? там же any, свои дефинишны?

а что надо с ним сделать?

ну, хочется строго типизировать

reject же должен мочь все, что можно в throw?

а resolve все, что можно в =, но это не отменяет же типизацию?)

я имею ввиду, что именно этот промис должен вернуть именно Error, например. В reject

ну, throw ж не типизируется

это не есть хорошо)

наверное

тем более, что интерфейс промисов позволяет типизировать

Это невохможно сделать, потому так

И в TS и во Flow

а почему?

Потому что then и т д ловят все ошибки

Следовательно тип в catch нельзя гарантировать

то есть надо для каждой ошибки проверять, что это реально ошибка?)

Ну да

Увы, но это реальноть js

с кем-то мы тут спорили, зачем я Type: string в дженериках делал

вот еще пример: declare function enableBatching<F: Function>(reduce: F): F;

reduce мне влом описывать, но и ломать тип я не хочу. могу сказать, что это функция, а какая - плевать.

Ну кроме дженерика-строки, конечно

вот

Ну на практике какая то функция - это бесполезный тип

reduce мне влом описывать, но и ломать тип я не хочу. могу сказать, что это функция, а какая - плевать.

Просто это бессмысленный дженерик (не считая того, что это также и бессмысленный тип) Твой синтаксис записывается так declare function enableBatching(reduce: Function): Function

Более того

Просто это бессмысленный дженерик (не считая того, что это также и бессмысленный тип) Твой синтаксис записывается так declare function enableBatching(reduce: Function): Function

нет, так я сломаю тип передаваемой функции

Кроме пожалуй случая заворачивания, но для этого нужен existential для аргументов

const store = createStore(enableBatching(rootReducer), middleware);

вот тут

Тогда тебе нужен просто дженерик

Кроме пожалуй случая заворачивания, но для этого нужен existential для аргументов

это и есть случай заворачивания

Тогда тебе нужен просто дженерик

а если я ошибусь и передам не то?)