народ, кто-нибудь знает, почему в первом случае компилятор не может вывести тип для done?

https://gist.github.com/impworks/5705f2c55327b73884aba3157685fe04

Я, я, можно я отвечу?

Жги!

народ, кто-нибудь знает, почему в первом случае компилятор не может вывести тип для done?

Конпелятор выбирает первую сигнатуру, которая подходит. Сигнатура с assertion?: () => void тебе подходит по какой-то мутной причине, в которую я вдаваться не буду, потому что забыл. Решение: переставить объявления в jasmine1.d.ts местами.

А, тут даже ещё лучше: тебе не нужна первая сигнатура.

конпелятор ><

Дело в том, что любая функция типа () => void будет подходить под сигнатуру (done: () => void) => void. И для этого как раз причина внятная: любой функции разрешено игнорировать аргументы.

Это-то понятно, но я удивлен что он выбрал не наиболее подходящий тип, а первый в порядке следования

Поэтому всё, что ты хочешь, делается сигнатурой № 2. Объявление type JasmineAssertion = (() => void) | ((done: () => void) => void) также не имеет смысла, поскольку второй терм покрывает первый.

Это-то понятно, но я удивлен что он выбрал не наиболее подходящий тип, а первый в порядке следования

выбирай первый по порядку следования — это стандартное поведение компилятора в любых непонятных ситуациях. Я где-то это даже читал в FAQ от Хейлсберга.

а, ну тащемта они в последней версии так и сделали - просто оставили везде (done: DoneFn) => void

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

Скорее всего, FAQ как раз обсуждал эту самую ситуацию, в которую ты попал.

бандиты, а я че не могу делать extend interface во flow?

и optional параметры в interface нет?

Делаешь что то не так

начал тут вкуривать в плов, и наткнулся на любопытную вещь https://flow.org/en/docs/types/arrays/#toc-array-access-is-unsafe

вопрос, как я понял в ts тоже так? это правда

спс

начал тут вкуривать в плов, и наткнулся на любопытную вещь https://flow.org/en/docs/types/arrays/#toc-array-access-is-unsafe

вчера в чате флоу обсуждали как раз

вопрос, как я понял в ts тоже так? это правда

в ts array access тоже unsafe, но pop() “safe”

все это оч условно

начал тут вкуривать в плов, и наткнулся на любопытную вещь https://flow.org/en/docs/types/arrays/#toc-array-access-is-unsafe

Используй tuples, как в flow так и в ts

Используй tuples, как в flow так и в ts

ну как, вроде в ts особо не помогает при доступе по индексу)

Ну тогда лан)

надо явно определять классы ?

а если мне надо сделать по массиву find, а он может вернуть или эл-т типа или undefined - как быть? объявлять тип со знаком "?" ?

надо явно определять классы ?

Нет

Хотя

ну как, вроде в ts особо не помогает при доступе по индексу)

https://flow.org/try/#0MYewdgzgLgBANgS2gLhmArgWwEYFMBOA2gLowC8MhADADQwCMxAUKJLFOgA5y7KEY4CdAXnykK1OoyZNE0asQDcspFEIBmJTI7dcC5Tp4alQA В flow помогает

Надеялся что в ts так же ?

https://flow.org/try/#0MYewdgzgLgBANgS2gLhmArgWwEYFMBOA2gLowC8MhADADQwCMxAUKJLFOgA5y7KEY4CdAXnykK1OoyZNE0asQDcspFEIBmJTI7dcC5Tp4alQA В flow помогает

ну flow молодец)

а если мне надо сделать по массиву find, а он может вернуть или эл-т типа или undefined - как быть? объявлять тип со знаком "?" ?

ну да, ведь в массиве может не быть элемента)

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

а потом жди беды

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

Сфигаль?)

find возвращает ?T тип

T | void, если быть точным

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

https://flow.org/try/#0MYewdgzgLgBAhjAvDA2gRgDQCYMGYMAsGArALoBQ5oksARkvAHQBmAlmACYAUCiAfPCSJkBAJSVajKCADKUAE7sA5l1FA

ага, я был неправ, сам проверил https://flow.org/try/#0C4TwDgpgBAKlC8UDeAoAkAQwFxQHYFcBbAIwgCcUBfFFAYwHtcBnYKAGwEsWcBBMsjCAA8MAHwIoAbRRRk2KAEZKAGjk4ATCrVQAzNQC6AbhoNmrAG4Y2+CDjiJOLAHQAzDrgAmACi+XrEAEoEcT8bJwwocQUABgDjOkYWKDIIJnw2YBwCEnIJUIhwwyA

а если я юзаю find из лодаша, мне надо его .. ээ.. тайпдефы подключить?

Ага

flow v50 - Added `$Values type` Еее, свершилось

а что это такое? если не для посвященных

make flow great again ?

а что это такое? если не для посвященных

Типа mapped types в ts

Это прям хреновое отставание было

теперь тс не нужен?

Как opaque types релизнут, так сразу))

Я всё же уверен, что это именно то, что нужно для полноценного описания функтора ?

Типа mapped types в ts

а свои mapped types можно?

А какие ещё бывают?) ?

$Values абсолютно бесполезен

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

почему?

flow v50 - Added `$Values type` Еее, свершилось

а есть примеры как их во флоу юзать?

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

*по моему мнению

А так же $ElementType, тоже абсолютно бесполезен. Целый пакет бесполезных типов, кошмар

ERROR: S client not available

Пример использования $Values в студию

я юзаю mapped types чтобы сделать поля типа имутабельными или чтобы сделать nullable

в тестах, чтобы описывать стабы

Пример использования $Values в студию

Твоё утверждение не является аксиомой и так же сомнительно без доказательств

синтаксис $Values еще не смотрел, поэтому не знаю как описать это

я чето вообше синтаксис $Values не могу найти

даже в сорцах уже порылся, может плохо, конечно

Окей, переформулирую для особо доебистых: мне лично неизвестны примеры использования $Values

Ну не прикидывайся валенком то

type DictProps = $Values<{ a: boolean, [key: string]: number }>; ('yo': DictProps); // Error: There is no property with the type of string. (123: DictProps); // OK: There is a dictionary value with the type of number. (true: DictProps); // OK: There is a property with the type of boolean.

$phlow

Я имею в виду реальный пример из жизни

type DictProps = $Values<{ a: boolean, [key: string]: number }>; ('yo': DictProps); // Error: There is no property with the type of string. (123: DictProps); // OK: There is a dictionary value with the type of number. (true: DictProps); // OK: There is a property with the type of boolean.

это ж не совсем mapped type

Я взял первый по порядку пример из тестов

это keyof и T[K]

Пока что я видел достаточно людей, радующийхся $Values (и некоторым другим фичам), но не понимающим как они работают

хм, действительно $Values это не mapped type из ts (как я понял из примера)

Пока что я видел достаточно людей, радующийхся $Values (и некоторым другим фичам), но не понимающим как они работают

Объяснять я конечно же ничего не буду

Понимаешь, как бы так покорректнее выразиться, очередное "этовсёхуй" без доказательств слегка раздражает

https://www.typescriptlang.org/play/index.html#src=type%20%24Values%3CT%3E%20%3D%20T%5Bkeyof%20T%5D%0A%0Atype%20DictProps%20%3D%20%24Values%3C%7B%20a%3A%20boolean%2C%20b%3A%20number%20%7D%3E%0A%0A

Потому что не является хоть сколько нибудь полезным сообщением

https://www.typescriptlang.org/play/index.html#src=type%20%24Values%3CT%3E%20%3D%20T%5Bkeyof%20T%5D%0A%0Atype%20DictProps%20%3D%20%24Values%3C%7B%20a%3A%20boolean%2C%20b%3A%20number%20%7D%3E%0A%0A

никогда такое в ts не юзал)

Потому что не является хоть сколько нибудь полезным сообщением

Не буду спорить. Но альтернатива только одна, кто-то приводит пример - я объясняю почему он не работает. Или выясняется что он работает и я не прав.

Блин, это так не работает. Ты как очевидно более осведомлённый в состоянии это объяснить без примеров или не в состоянии

Я использую mappedTypes для описания форм. Как то так: interface Entity { a: string b: number } interface Form<T> { get<K extends keyof T>(prop: K): T[K] set<K extends keyof T>(prop: K, value: T[K]): this bind<K extends keyof T>(prop: K): {value: T[K], onChange: (newValue: T[K]) => void} }

хм, ну это же не $Values, как написал товарищ выше

Блин, это так не работает. Ты как очевидно более осведомлённый в состоянии это объяснить без примеров или не в состоянии

Для этого мне нужно идти искать, что люди пишут и хотят от $Values, чтобы приводить примеры, почему это не работает

хм, ну это же не $Values, как написал товарищ выше

ну так я про mappedTypes, а говорят что $Values это тоже самое

вот как в тестах для стабов юзаю type Stubbed<T> = { [K in keyof T]: T[K] & Stub }