https://goo.gl/1XEiry

так то можно что-угодно в него протолкнуть function thing(): any { return { } }

ну не any

ну что-нибудь

ну чтобы smartcast не врубился

а то он скотина преобразует x просто в D

в общем там any не нужно

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

а как ты инициализируешь экземпляры этого объекта?

я руками прописываю эти поля

ну просто заполняю

ни как такое низя :(

а чем решение выше не подходит?

https://i.gyazo.com/35390e7e2616a7c243c40c3104d3c94d.png

можно чуть-чуть задублировать https://i.gyazo.com/aaf922ae3e424cd66986c29216b32214.png

Спасибо :)

я просто думал одним интерфейсом обойтись

Да можно вообще без интерфейсов обойтись.

Хотя не получится. Вот решение, которое работает в точности как надо. Оно чуть посложнее. http://www.typescriptlang.org/play/#src=function%20thing()%20%7B%0D%0A%20%20%20%20return%20%7B%20d%3A%201%20%7D%0D%0A%7D%0D%0A%0D%0Ainterface%20A%20%7B%20a%3A%20number%20%7D%0D%0Ainterface%20B%20%7B%20b%3A%20number%20%7D%0D%0Ainterface%20C%20%7B%20c%3A%20number%20%7D%0D%0Ainterface%20D%20%7B%20d%3A%20number%20%7D%0D%0A%0D%0Atype%20M%20%3D%20(A%20%26%20Partial%3CB%20%26%20C%20%26%20D%3E)%0D%0A%20%20%20%20%7C%20(B%20%26%20Partial%3CA%20%26%20C%20%26%20D%3E)%0D%0A%20%20%20%20%7C%20(C%20%26%20Partial%3CA%20%26%20B%20%26%20D%3E)%0D%0A%20%20%20%20%7C%20(D%20%26%20Partial%3CA%20%26%20B%20%26%20C%3E)%3B%0D%0A%20%20%20%20%0D%0Alet%20x%20%3D%20thing()%3B%0D%0A%0D%0Alet%20y%3A%20M%3B%0D%0Ay%20%3D%20x%3B%0D%0A%0D%0Aconsole.log(y.d)%3B

а подскажите как написать интерфейс который имеет такие задачи - есть возможность добавить одно из четрыех полей но хоть одно должно быть например: export interface BaseInterface { first?: boolean; last?: boolean; before?: Object; after?: Object; } и вот одно из этих полей должно присутствовать

изи

надо остальные поля сделать как undefined тип

и перечислить через |

а можно пример)?

а

могут быть все четыре поля?

да вроде это то что надо

могут быть все четыре поля?

нет только одно из них

а это не работает?

А хотите решение повеселее?

Лучше стало, правда? :)

Лучше стало, правда? :)

епсель мопсель... а чёт по проще)?

тут в объяснения происходящего сам черт ногу сломить...

Попроще так попроще. Теперь знак ? писать не надо ;)

Работает оно так. 1) "K extends keyof A" - К подмножество ключей типа А, где А - параметер Has.

2) Partial<A> - это просто, делает все свойства типа A опциональными. 3) { [key in K]: A[K] } - определяет новый тип, в котором будет ровно такие элементы, которые заданы параметром K, то есть один. 4) A[K] извлекает из типа А тип его мембера K.

5) Пересекаем типы при помощи &, и неопциональный параметр перетирает опциональный.

Ключевые слова - "mapped types".

Без этого - только руками четыре интерфейса написать. Но не знаю, ИМХО это совсем не проще, когда в TS такие замечательные штуки есть.

Короче, вот это заклинание Has заботает независимо от наших знаний о нем, так что можно его один раз скопипастить и расслабиться. :)

И вот еще как можно: type X = Has<'a'|'b', A> | Has<'b'|'c', A>; В X либо определены а и b, либо b и c.

а это не работает?

Нет, первый мой вариант не работал. Ломается если задать два мембера сразу, т.е. например { a : "1", b : "1" }

А встроенный Pick не то же самое делает, что и Has?

Хм.

type Pick<T, K extends keyof T> = { [P in K]: T[P]; };

Да, вроде ровно то же самое.

другое

has делает все | undefined, кроме нужного поля

а, стоп

type Has<K extends keyof A, A> = Partial<A> & Pick<A, K>

Вот так они относятся.

С Pick оно попроще как-то выглядит, действительно.

Ну и тогда параметры разверуть. type Has<A, K extends keyof A> = Partial<A> & Pick<A, K> Вот, так хорошо.

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

А хотите решение повеселее?

Чудовищно

Я не понимаю почему в тс в таком восторге от спорных эзотерических конструкций, больше напоминающих черновики по матану

Напишите уже наконец майнкрафт на тс выражениях, к чему все эти полумеры

Да херня , потом все равно сидишь в рекомпозе генерики подтыкаешь типами чтобы хоть что то вывести

Ну вот да

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

Это вполне естественно. Трудно быть в восторге от вещей, смысла и предназначения которых не понимаешь, правда ведь?

Еще раз - смыл в количестве тайпингов для либ

Вы уже два дня решаете проблему которой просто нет

Мне в свою очередь не очень понятно, что в mapped types такого непонятного и сложного. И как в принципе можно предъявлять претензии к наличию фич, предназначенных в первую очередь для авторов фреймворков и библиотек. Не нравится - не пользуйся.

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

Братан - ты ты кто, Иисус Христос, чтобы тебе верить? :)

Да

Какой вопрос такой и ответ, сорян

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

Подобные порывы ПОСЧИТАТЬ объекты выглядят как надпись говном на стене извиняюсь за прямоту

Не понимаю претензии, и извини - совсем не вижу, как это может отрицательно сказаться «на всех».

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

Потому что все насмотрятся на подобный трэш и начинают думать что это нормально и правильно и так стоит делать

А то что тут два дня пытаются юзать объекты не по назначению к сожалению никто не скажет

Ну, этого бы я не опасался. У большинства заметные проблемы с пониманием, как эти конструкции в принципе работают. :)

И нужны они, ещё раз, в первую очередь авторам фреймворков и библиотек.

В первую же очередь они им не нужны

Ну вот тут уже дай мне, как такому автору, самому решать.

Чем меньше подобного обмазывания объектами в библиотеках тем проще и надежнее их типизация

Ну вот тут уже дай мне, как такому автору, самому решать.

Ты какой то демагог

То за всех говоришь то вдруг за себя и обратно

Еще раз - это паршивая практика

Очень

Чем меньше подобного обмазывания объектами в библиотеках тем проще и надежнее их типизация

Если либа уже написана так, то че делать?)

и я просто тайпинги пишу

Забиться в угол и рыдать, естественно

Да нет, это ты какой-то демагог. Вообще непонятно, зачем ты вот это все говоришь :)

Прецеденты не являются оправданием для существования же

«Вот это плохая практика» - какая блин из практик там плохая? Зависимые типы? Да неужели? :)

ЗАВИСИМЫЕ ТИПЫ

АААА

прекрати плиз

Нет, ты серьезно так думаешь?

С тобой там вообще все в порядке? :)

Ты реально решил что забацал сейчас зависимые типы, в тайпскрипте?

Ой, сколько пафоса :)