и наоборот

Когда показываешь пример неправильного кода, тебе отвечают: не надо так писать

vim тоже не всем дается)

Но на то и тайпчекер, чтобы он не давал так писать, если не надо так писать

все равно, до хаскеля с плагинами для атома всем далеко, как до юпитера

elm кажется сейчас работает над аналогом, но не знаю, насколько успешно

нет, тут просто нерправильно использование

new Promise(..

Для начала - оно правильное

это Promise<any>

Нет

А если оно неправильное - то это должна быть ошибка

неправильные ожидания с точки зрения пользователя

система работает как надо

Нет, она не работает как надо

лол, нет)

ну вывод типов у тс слабее это известно же, я хз как он внутри сделан, правда

как задумывылась

он не слабее. он врет. и это не вывод типов

так а это когда фиксанут? https://flowtype.org/try/#0PQKhAIAEDMBsHsDu4TAFBoC4E8AOBTcAQQGNMBLeAOwEZwBecAbzXHBwIC5wAiUi6jR4BuVuGjl8sACY1uVAK4BbAEb4ATqIC+GDoX6UqAJgbMxe7nzKGjIsRKnSj3AM6Z15KgHNtuvPutqUwNBcAAfYkDjUT1wAGVMAENMQkZFVQ1RNGgFKijwdXxpBRINAAo3ZPxuBKrTAAYAGnBEqO4QqgBKGqSUszYXRHJMEgALMtaBKgA6PU7+tnASRJdCKymhTjFFgvxMBXUqFqjphxkaUR3l1d4iKmwACQU9xIeNfB4tnbZC-cPjqbTRL3J4vN6FS7gHQ-PYHI6VFLaIA

Эдак можно на любое говно сказать: так задумывалось

в смысле врет? ну это баг да тут тоже есть https://github.com/facebook/flow/issues?q=is%3Aopen+is%3Aissue+label%3Abug

так а это когда фиксанут? https://flowtype.org/try/#0PQKhAIAEDMBsHsDu4TAFBoC4E8AOBTcAQQGNMBLeAOwEZwBecAbzXHBwIC5wAiUi6jR4BuVuGjl8sACY1uVAK4BbAEb4ATqIC+GDoX6UqAJgbMxe7nzKGjIsRKnSj3AM6Z15KgHNtuvPutqUwNBcAAfYkDjUT1wAGVMAENMQkZFVQ1RNGgFKijwdXxpBRINAAo3ZPxuBKrTAAYAGnBEqO4QqgBKGqSUszYXRHJMEgALMtaBKgA6PU7+tnASRJdCKymhTjFFgvxMBXUqFqjphxkaUR3l1d4iKmwACQU9xIeNfB4tnbZC-cPjqbTRL3J4vN6FS7gHQ-PYHI6VFLaIA

А что не так?

https://flowtype.org/try/#0PQKhAIAEDMBsHsDu4TAFBoC4E8AOBTcAQQGNMBLeAOwEZwBecAbzXHBwIC5wAiUi6jR4BuVuGjl8sACY1uVAK4BbAEb4ATqIC+GDoX6UqAJgbMxe7nzKGjIsRKnSj3AM6Z15KgHNtuvPutqUwNBcAAfYkDjUT1wAGVMAENMQkZFVQ1RNGgFKijwdXxpBRINAAo3ZPxuBKrTAAYAGnBEqO4QqgBKGqSUszYXRHJMEgALMtaBKgA6PU7+tnASRJdCKymhTjFFgvxMBXUqFqjphxkaUR3l1d4iKmwACQU9xIeNfB4tnbZC-cPjqbTRL3J4vN6FS6LaT4aCJBSwTBfb4TE4WcCKWCwTqQnQ-PYHI6VFLaIA

уже

уже

а, да, знаменитое не надо так делать

лол, нет

это не ошибка

угу)

ты можешь хотеть так написать, ошибки действительно нет

это отдельная категория проблем, которыми flow не знанимается, пока что

да бросьте господа )))

другой вопрос, почему в js нет пропозала на pattern-matching с человеческим синтаксисом, почему мы до сих пор используем switch-case

Абсолютно корректное и безопасное поведение

да бросьте господа )))

ты извне не сможешь в эту функцию передать не тот экшн

другой вопрос, почему в js нет пропозала на pattern-matching с человеческим синтаксисом, почему мы до сих пор используем switch-case

+, раз desctructuring или как там его, уже появился

Абсолютно корректное и безопасное поведение

ты же знаешь, как редакс работает? Сюда на самом деле попадает все, что через него проходит

ты же знаешь, как редакс работает? Сюда на самом деле попадает все, что через него проходит

flow используется не только для redux кода

Сюда попадает Action1 и Action2

Если нет - то у тебя где то кривые типы

@vslinko ты это не объяснишь flow в случае с redux, к сожалению

flow используется не только для redux кода

а, ну т.е. тот случай, когда все-таки сломано?

Если нет - то у тебя где то кривые типы

и мне об этом не сообщает никто

а, ну т.е. тот случай, когда все-таки сломано?

нет, это тот случай, когда нет паттерн-матчинга

ну все ясно

флоу не виноват, я понял

и мне об этом не сообщает никто

тебе никто не будет сообщать что у тебя кривые типы

по сути все правильно, если ты вызовешь эту функцию руками, flow их тебе отобьет, если не то передашь

ты их сам написал

более того, если тебе сюда может придти что угодно - то тайпчекер тебе вообще никак не поможет

TS подразумевает более явное использование типов, так задумано

и свитч тут не при чем

TS подразумевает более явное использование типов, так задумано

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

TS подразумевает более явное использование типов, так задумано

в примере с промисом куда явнее-то?)

Promise<string> это string Promise( - это все равно что Promise<any> - вот и все что нужно понимать

Еще раз - это не так

Еще раз - это не так

что не так?

https://github.com/Microsoft/TypeScript/blob/master/lib/lib.es2015.promise.d.ts#L24

interface Promise<T> {

это не Promise<any>, а Promise<{}>

для начала

И это так только с промисом, а не с любыми дженериками

кто это сказал?

про {}

тайпскрипт

Я тебе говорю

это any как раз

нет

ERROR: S client not available

это {}

Я же проверяю все перед тем как говорить

я правильно понимаю, что {} - это mixed?

вроде того

ну точнее с поломанным вариативностью это по сути any

я правильно понимаю, что {} - это mixed?

да

ну точнее с поломанным вариативностью это по сути any

нет, не совсем

если вызвать then то там это будет не any

это серьезно так важно?

ок, не any, но сути это не меняет в контексте вопросе

надо задать тип явно

не, не надо

это серьезно так важно?

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

надо только у промисов

не только

ну или так, надо не всегда

Observable так же

естественно, по той же причине

https://www.typescriptlang.org/play/index.html#src=const%20s%20%3D%20new%20Set(%5B1%2C%202%2C%203%5D)%3B%0A%0As.add('foo')

вот тут не надо

ну потому что надо не контейнер со значением передавать

а само значение, тс это может)

в общем, это не делает TS непригодным к использованию, в целом он удобен

а flow недостаточно вкладывается в тулзы и маркетинг

соответственный и выхлоп

> @prinzc маркетинг ну все, пиздец теперь

они просто норм продукт пилят, а так пофиг))

забыли билборды сделать

а шо делать? только реклама на орт спасет

теперь

ангуляр же не просто так выбрал ТС (моя порция ? в вентилятор, раз уж пошла такая пьянка ))))

Ангуляр по моему вообще все что делает - зря