https://flowtype.org/try/#0PQKgBAAgZgNg9gdzCYAoVBjOA7AzgFzAGEwBeMAb1TDAHIAxAeUdoC4xsBXGGVAXwDc6fAE8ADgFMwAIQCGAJzKVqAD3YASANISRuADyjJcKMQB8-dFjyER7OYvIUwaugCMYs2mD6ogA

Этот

Вот на константы пример

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

Этот

там все как надо

там есть ошибка, и она показывается

Заморочено

Тайпскрипт же не может в такое?

Такое - определенно нет

Там вроде обсуждают строковые енамы

Тайпскрипт же не может в такое?

скоро сможет https://github.com/Microsoft/TypeScript/pull/10425

скоро сможет https://github.com/Microsoft/TypeScript/pull/10425

Красиво

какая жесть)

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

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

Да, это вообще они хоть за ум может возьмутся

Может и функции сделают нормально

функции?

в смысле ту лажу с аргументами?)

ага

Я кстати раскурил объяснение из фака

В общем, чтобы сделать массивы ковариантными, они сломали функции, вместо того чтобы сделать массивы номинальнами

номинальными

Кстати, новая фишка во флоу

https://flowtype.org/try/#0PQKgBAAgZgNg9gdzCYAoVUCuA7AxgFwEs5sxCBnAZXwCdDsBzACgA8BKALjACM44YApgENSAUlwALAbgDW5MAG9UYMDQH5MNUvgCeABwFwoYFmAC8FsAHJytegysBuVAF90WPERJgAtuolwACasXLZ0jGAAPmDYmD7cAjScMXEJNIrKZMZMFNThzOxsGSoqahpaJgB0kkI0AMJBAgCC+EwADGzOKi5gAjDkAsUlZZqkLF1gbi5AA

а что %checks значит, а то издали похоже на is Smth в ts

да

только реально проверяет)

а

норм

поменял на number и все сломалось

В общем, чтобы сделать массивы ковариантными, они сломали функции, вместо того чтобы сделать массивы номинальнами

там много ещё что ползёт от ковариантности функций. В том числе при наследовании возможность определить метод как принимающий уже наследника. Например когда делаешь методи plus который принимает аргумент того же типа

я про это же

Я просто не понял, почему они не сделали массивы номинальными

это реально сильно упрощает дело

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

:(

и производительность

Так там string | number

это к вопросу о dead code

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

Я просто не понял, почему они не сделали массивы номинальными

если сделать строгую проверку питов на массивах, то придётся делать ещё что-то типа массовов в которые ничего нельзя добавлять, и тогда эти массивы можно будет приводить к типу массива от предка

Ну это можно и структурно сделать как раз на интрефейсах

кстати, ms что-нибудь заявляли по поводу релиза второй тайпы? то что rc есть я знаю, но пока не хочу пробовать его

а фичи вкусные

особенно, как параноик, жду nullable types и стрикт режим на них

конец сентября мб

https://flowtype.org/try/#0PQKgBAAgZgNg9gdzCYAoVUCuA7AxgFwEs5sxCBnAZXwCdDsBzACgA8BKALjACM44YApgENSAUlwALAbgDW5MAG9UYMDQH5MNUvgCeABwFwoYFmAC8FsAHJytegysBuVAF90WPERJgAtuolwACasXLZ0jGAAPmDYmD7cAjScMXEJNIrKZMZMFNThzOxsGSoqahpaJgB0kkI0AMJBAgCC+EwADGzOKi5gAjDkAsUlZZqkLF1gbi5AA

а это уже фишка ts же)

в смысле ту лажу с аргументами?)

а что там? дайте ссылку

а это уже фишка ts же)

Тока в тс она небезопасна

как и все в тс)

а что там? дайте ссылку

https://github.com/Microsoft/TypeScript/wiki/FAQ#why-are-function-parameters-bivariant

ааа

да, это hard problem

я на функциях на это уже один раз жёстко наткнулся

и нигде кроме этого faq описания этой проблемы в доках не нашёл

а тут нет хорошего решения, оно зафакаплено в куче языков

увы

поэтому все про нее, типа, помнят но умалчивают

в частности variance inference is hard, а надписывать сабж на типах не самое приятное занятие

а тут нет хорошего решения, оно зафакаплено в куче языков

нет, есть хорошое решение - функции должны быть контрвариантны

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

я бы хотел видеть это опцией

это полезно для параноиков, и в то же время упрощает вход для новичков

да чем же?

ERROR: S client not available

это даже для того кто не знает слово контрвариантность вызывает WTF

да они и так офигивают от того сколько им требуется явно указать в начале

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

хотя да, от этого тоже можно избавиться дженериками

не flow жестко тупит, если пример выше разнести на несколько файлов)

как это обычно в реальности есть

какой именоо?

который с typeof SOME_CONSTANT

так он вообще работать не должен

в плейграунде же работал))

не, не работал, там был string на выходе

по факту

эх

хехе https://github.com/tc39/proposal-private-fields/issues/14#issuecomment-246503734

вот это уже совсем будет весело)

ну так это про то же

о чем днем говорили

да, но тут уже обменяются индентификаторами)

или я пропустил именно это обсуждение)

но там Брайан против(

но это потому что он из мс

да, но тут уже обменяются индентификаторами)

ну там все кроме брайана и йегуды пока за свап вроде

Такой вопрос: как мне задать интерфейс оверлоад функции (функцию с разными возможными сигнатурами). Короче, нужно просто задать интерфейс такой функции, без реализации. Так как это тайпинг для внешней библиотеки

type SomeFuncT = { (): void; } добавь к этому | и получится то, что хочешь)

ну там все кроме брайана и йегуды пока за свап вроде

Чем им этот новый синтаксис поможет вроде непонятно. Потому так ничего нового он во внешний интерфейс объекта не приносит. А используется только внутри. Так тогда зачем это все?

хехе https://github.com/tc39/proposal-private-fields/issues/14#issuecomment-246503734

пипец.. кстати спасибо огромное за ссылку

Всем привет

Ребятки, подскажите в тс будет и планируется ежели нет, оператор Элвиса?

привет

а в JS он планируется?

ежели нет, то и в ts вряд-ли