в таком кейсе похоже что ты взводишь курок что бы выстрелить себе в ногу... Если у тебя есть объекты разных типов, то зачем их смешивать в один тип и делать поля string | number | null | .. ? ибо при определенной комбинации юниона это даст тебе результирующий интерсекшн с полями типа any

самое обижное что тип всех значений и тип всех ключей я могу получить, а склеить это вместе не могу)

похоже на хак - в разных частях юниона могут быть одинаковые поля с разными типами, как в таком случае их объединять в пересечение? type A = | { foo: string; bar: boolean; } | { foo: string; bar: number; baz: number };

А никак лол

Если сделать нормальные тесты данного типа, с false positive и false negative то выяснится что он успешно их проваливает

Потому что в доке чёрным по белому сказано, как работают disjoint unions)

И даже если это можно выводить тем или иным образом, матчинг по полю (как предполагается когда вы работаете с disjoint), кардинально повышает надёжность и стабильность вывода типа

а где это в доке сказано, не нашел

Текст ошибки: Argument of type '(this: void, animal: Animal) => any' is not assignable to parameter of type '(this: void, value: Animal, index: number, obj: Animal[]) => value is T'. Signature '(this: void, animal: Animal): any' must be a type predicate.

function isDog(a: Animal): a is Dog { return a instanceof Dog } ... return animals.find(isDog)

function isDog(a: Animal): a is Dog { return a instanceof Dog } ... return animals.find(isDog)

Или дисджоинт юнион.

Или дисджоинт юнион.

Это что такое?

Это что такое?

class Animal {} class Dog ... { type: 'dog' } class Cat ... { type: 'cat' } ... ... x.type === 'dog' Должно работать вроде.

что-то не то... Мне нужно исправить только 15-ую строку.

что-то не то... Мне нужно исправить только 15-ую строку.

Ну тогда инстансоф.

Но дисджоинт юнионы всяко лучше, имхо.

Можешь у флагов внутри классов тип поставить

Ну тогда инстансоф.

увы, ничего не поменялось...

Но дисджоинт юнионы всяко лучше, имхо.

Оба варианта — ад хок костыли для sum type

Дело в том, что если пользоваться методом Array.find() то проблем нет. Но когда я хочу задать тип: Array.find< T > ( ) То выясняется, что предикат-то я не могу написать по феншую.... В этом проблема. А не в классах анимал, дог и кэт.

Оба варианта — ад хок костыли для sum type

Ну дисджоинт юнионы лучше хотя бы тем, что работают не только с инстансами классов.

Есть у кого примеры, как пользоваться: Array.find< T > ( ) ?

Ну дисджоинт юнионы лучше хотя бы тем, что работают не только с инстансами классов.

Это да

мимо

goo.gl/623G1j

Еее бивариантность

о

в стрикт функциях в другоом месте ошибка

Лол, а там же правда ошибка

а нет

там же

Лол, а там же правда ошибка

где

Некорректно говорить что после функции .find у тебя будет тип T, только T | void

Без стрикта тс на это клал с пробором)

Нашел решение

все оказалось просто

Без стрикта тс на это клал с пробором)

нельзя опции сохранять в ссылке))

все оказалось просто

кидай

и все, предикат написан верно а содержимое предиката это уже другая история, потому я его сократил до true

Еее касты

Ура! Еще один камень машинописи сгрызен!

да этож чуш

ето обман

https://i.gyazo.com/d230ca90a4f6a9a9042e753806c1993a.png

и смысл этой функции

>это уже другая история

не читай тред, пости мемы

axios для редакса)

ага)

https://i.gyazo.com/d230ca90a4f6a9a9042e753806c1993a.png

у тебя на картинке Array.find ( ) а мне нужно было изучить Array.find< T > ( )

разница большая

я тебе скинул транспилинный вариант

и смысл этой функции

а по поводу смысла я уже не раз писал: > а содержимое предиката это уже другая история, потому я его сократил до true и ранее: > Пример сильно утрирован. Но думаю смысл не потерялся.

я тебе скинул транспилинный вариант

у меня вопрос был про тайпскрипт и про то как использовать вариант Array.find< T > ( )

зачем было показывать что он там перевел?

Typescript охуенен ?

не читай тред, пости мемы

а по русски? ниче не понял. Что за тред? почему вместо внятного текста мемы постить????

эт я не тебе ответил)

find<Dog>().isDog какой-то странный код

дженерики с рантаймом намешаны

find<Dog>().isDog какой-то странный код

сколько можно писать??? вот еще раз пишу: а по поводу смысла я уже не раз писал: > а содержимое предиката это уже другая история, потому я его сократил до true и ранее: > Пример сильно утрирован. Но думаю смысл не потерялся.

дженерики с рантаймом намешаны

что такое дженерики и рантайм?

сколько можно писать??? вот еще раз пишу: а по поводу смысла я уже не раз писал: > а содержимое предиката это уже другая история, потому я его сократил до true и ранее: > Пример сильно утрирован. Но думаю смысл не потерялся.

я просто хотел было пофиксить, но это что-то нефиксабельное

ERROR: S client not available

я просто хотел было пофиксить, но это что-то нефиксабельное

я же пофиксил свой код. И выше написал что конкретно и почему.

ну ладна

дженерики с рантаймом намешаны

что такое дженерики и рантайм?

ну ладна

Я в след. раз по другому код распишу. Абстрактный код похоже никто не понимает, даже если прокомментируешь его(

что такое дженерики и рантайм?

про дженерики на оф. сайте глава есть, рантайм это грубо говоря выполняемый код, сам жс

> дженерики по английски как термин то звучит?

https://www.typescriptlang.org/play/index.html#src=interface%20Animal%20%7B%20%7D%0D%0Aclass%20Dog%20%7B%0D%0A%20%20%20%20isDog%20%3D%20true%0D%0A%7D%0D%0A%0D%0Afunction%20isDog(a%3A%20Animal)%3A%20a%20is%20Dog%20%7B%0D%0A%20%20return%20a%20instanceof%20Dog%0D%0A%7D%0D%0Afunction%20f(animals%3A%20Animal%5B%5D)%20%7B%0D%0A%20%20%20%20return%20animals.find(isDog)%0D%0A%7D%0D%0A

generics

https://www.typescriptlang.org/play/index.html#src=interface%20Animal%20%7B%20%7D%0D%0Aclass%20Dog%20%7B%0D%0A%20%20%20%20isDog%20%3D%20true%0D%0A%7D%0D%0A%0D%0Afunction%20isDog(a%3A%20Animal)%3A%20a%20is%20Dog%20%7B%0D%0A%20%20return%20a%20instanceof%20Dog%0D%0A%7D%0D%0Afunction%20f(animals%3A%20Animal%5B%5D)%20%7B%0D%0A%20%20%20%20return%20animals.find(isDog)%0D%0A%7D%0D%0A

а, ну выше уже разобрались

обобщения что-ли?

ну наверно это так переводится

я вообще имел в виду, что Dog передается не как аргумент функции, а как аргумент дженерика

и непонятно зачем и как это должно работать

я вообще имел в виду, что Dog передается не как аргумент функции, а как аргумент дженерика

когда передоз флоу

лол

и непонятно зачем и как это должно работать

пример абстрактный))) был...

пример абстрактный))) был...

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

переборщил значит)

как загрузить tsconfig с помощью ts? интересует обработка extends

в общем хочется передать путь до tsconfig файла, а получить уже результирующий json (с раскрытыми extends)

https://github.com/ikatyang/tsconfig-extends

Всем добра! Подскажите как быть с циклическими зависимостями? В файле a.ts есть класс А, там объявлено что у него есть свойство с типом B. B описывается в b.ts и в конструторе ожидает получить параметр типа A ?

Всем добра! Подскажите как быть с циклическими зависимостями? В файле a.ts есть класс А, там объявлено что у него есть свойство с типом B. B описывается в b.ts и в конструторе ожидает получить параметр типа A ?

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

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

*** file a.ts import { B } from './b'; console.log('*-*--*', B) // Function B() .... export class A { private threads: B[] = []; } *** file b.ts import { A } from './a'; console.log('*-*--*', A); // undefined export class Thread { constructor(private a?: A) { } }

*** file a.ts import { B } from './b'; console.log('*-*--*', B) // Function B() .... export class A { private threads: B[] = []; } *** file b.ts import { A } from './a'; console.log('*-*--*', A); // undefined export class Thread { constructor(private a?: A) { } }

а текст ошибки какой?

проблема с пустым модулем

> console.log('*-*--*', A); // undefined если это проблема, то да, при рекурсии будет проблема пустого модуля. Это никак не решается. Перепроектируйте свои классы.