* as moment это ж не то по смыслу?

а есть способ в flow как-то проверить, что типы соответствуют друг другу, без переменных?

то есть без js кода

Не совсем понял

* as moment это ж не то по смыслу?

а просто import 'moment' не катит?

а просто import 'moment' не катит?

так а пользоваться им потом как О.о

ну она же декларируется

не, там ж модуль

оно потом в экспорт

Не совсем понял

type A = {}; type B = {}; A === B;

если не получается описать, как A в B передается

ну она же декларируется

да, она декларируется на уровне модуля

type A = {}; type B = {}; A === B;

А почему без js?

да, она декларируется на уровне модуля

https://github.com/moment/moment/blob/develop/moment.d.ts#L459

А почему без js?

ну, можно и с JS)

https://github.com/moment/moment/blob/develop/moment.d.ts#L459

у нее тайпинги неправильные

нет конструктора

ну, можно и с JS)

А пример можно?

Непонятно, что нужно

https://flowtype.org/try/#0PQKgBAAgZgNg9gdzCYAodAXAngBwKZgBiccYAvGAN6phhQkBcYAzhgE4CWAdgOaoC+Abky4CAIQCGbclRp1GLdtx4AaOQCMpTVp14DhqUAwaoAJngDGMKQQBuUsAA8mxOMPvSsTSdIqPhKEA

о, спасибо)

обожаю и ненавижу flow одновременно)

@vkurchatkin кстати: default: // eslint-disable-next-line (action.type: null); return state; такой хак дает более вменяемую ошибку, чем action: null

В 0.34 будет новый тип empty

Не уверен пока, какой профит, в текущем виде

Но по крайней мере можно будет не делать string & number больше

мм, мне такого не приходилось еще делать)

Ну это иногда полезно для эзотерический конструкций с дженериками

самый неприятный для меня момент в flow + react, за последнее время, стал connect. То есть компоненты - все ок. Экшны и сторы - все просто збс. А вот момент, где они пересекаются, сложно проверить(

Ну это скорее проблема редакса

Он не очень на статическую типизацию рассчитан

он вообще не нее не расчитан) с другой стороны, я не знаю как это сделать лучше

он вообще не нее не расчитан) с другой стороны, я не знаю как это сделать лучше

вот это можно прикрутить обратно к React https://github.com/ngrx/store

DateOnly.Format

DateOnly.Format

тогда не будет использован оверрайд формата в DateTime

тогда не будет использован оверрайд формата в DateTime

Понял) Кроме как вынести ничего не выходит ? interface HasFormat { new<T> (): T; FORMAT: string } const toStatic = <T>(o:T)=>o.constructor as HasFormat class DateOnly { static readonly FORMAT = 'Y-m-d' protected date: Date public toString(): string{ let format = toStatic(this).FORMAT return format } }

Сталкивался кто-нибудь с тем что find references в саблайме с официальным плагином не все рефы находит (~80 файлов, залинкованы через /// <reference path)

Что в дженериках Flow значит +? declare class Promise<+R> https://github.com/facebook/flow/blob/master/lib/core.js#L563

Ковариантность

типо ждем React.Component, а приходит Input extends React.Component?

типа может быть наследник

Я с реактовского чатика Дык не очень понял, зачем тогда тайпскрипт, если можно юзать flow?

ну если ты в нпм ничего не держишь

> @bipycxp Дык не очень понял, зачем тогда тайпскрипт, если можно юзать flow именно

накатить на существующий код походу проще flow, но я не уверен, потому что ts2 как бы и в js может...

Только TS очень плохо транспилирует

в es6 нормально

)

ну если ты в нпм ничего не держишь

не очень понял. Что я там должен держать? Свои доп модули какие-то?

да что ты не возьми - облысеешь) а еще @vkurchatkin достанешь))

ты можешь опционально потихоньку включать, на новом коде. Но как только ты поймешь, что flow ловит твои ошибки, тебе захочется покрыть типами все, и тут тебя ждет подлянка. Все покрыть никогда не получится, если у тебя не todo-list приложение)

> @gusnkt Все покрыть никогда не получится Получится! Но придется рефакторить

ну либо с бешенным кол-вом дженериков)

кстати можно как-то посмотреть coverage по всей код-базе, а не 1 файлу?

не очень понял. Что я там должен держать? Свои доп модули какие-то?

чужие

Написать скрипт

Написать скрипт

красота)

чужие

Что, флов их не будет поддерживать?

ERROR: S client not available

Тс же тоже требует тайп дефнишнов для подключаемых модулей

flow не требует

find src -path 'src/**/*.js' -exec flow coverage {} \;

кто awk знает?) давайте допишем скрипт

кстати у меня прям неплохо так... больше 90% в основном

> @gusnkt больше 90% в основном Это очень мало

ничоси

там у реакта много где не прописан return-type у рендера. я думаю в этом проблема)

Тс же тоже требует тайп дефнишнов для подключаемых модулей

но в тс они могут идти уже в самих пакетах(moment, redux) или через пакеты в скоупе @types

Ок, спасибо

но в тс они могут идти уже в самих пакетах(moment, redux) или через пакеты в скоупе @types

ровно как и в flow)

и там и там они, обычно, устаревшие)

ну типа https://github.com/flowtype/flow-typed/tree/master/definitions/npm vs https://github.com/DefinitelyTyped/DefinitelyTyped/

причем второе ставится через npm

в реальности нужно 2-3 дефинишна. и те не работают. ни тут, ни там

тот же react-redux, уже сколько раз обсуждали)

накатить на существующий код походу проще flow, но я не уверен, потому что ts2 как бы и в js может...

одинаково

возможно, я не пробовал

одинаково

не верю)

почему?

потому что flow это и есть js. А ts - это ts. Просто сменить расширение не всегда получится

ну и я пробовал)) не просто так же я flow взял

noImplicitAny: false и меняй себе на здоровье

но кмк если уж меняешь, то типизируй

Флоу кстати неплохо помогает даже вообще без аннотаций и // @flow

Просто в Атоме подсвечивает слабые места

Просто в Атоме подсвечивает слабые места

т.е. он может работать как обычный линтер? и не нужно модифицировать код?

в таком случае можно его заиспользовать