Мне вот тоже. Я так т не понял как правильно их описать

Кто в vscode пишет, зайдите в лс

Кто в vscode пишет, зайдите в лс

@ide_ru

Их не описать. Только через абстрактный

Понял. Так и делаю. Спасибо

Всем привет, подскажите какой нибудь продвинутый курс по typescript ?!

Всем привет, подскажите какой нибудь продвинутый курс по typescript ?!

можно посмотреть видеокурсы на egghead

https://egghead.io/courses#technology-typescript

Всем привет, подскажите какой нибудь продвинутый курс по typescript ?!

Если умеешь программировать и знаешь js то ничего лучше чем прочитать handook и все whats new снизу вверх я не знаю https://www.typescriptlang.org/docs/home.html

Всем хай Есть идеи как вытянуть параметры из дженерика второго уровня?

Нужен пример кода, что хочешь сделать

HKT что ли)

есть идея, зависит от того что у тебя на первом уровне

если имеются ввиду структуры данных типа Array<....> или там свой List<...> то можно извратиться с трансформами

да нам ещё задача не понятна от слова совсем

Всем хай Есть идеи как вытянуть параметры из дженерика второго уровня?

ты чего-нибудь то напиши из подробностей

пишу сейчас все будет)

https://gist.github.com/fend25/5a2ee30d83fa964d5b75e85bfac90ff8

суть: я хочу сразу чтобы было как на 13 строке но работает только первый варинт (на 10 строке)

не открывается

потому что приходится два тайпинга писать фактически - и на A и на Action

а сейчас?

Открылось

Чет странная конструкция

ActionCreatorFactory для redux

По крайней мере я сходу смысл не оч уловил, для чего именно так)

ну типа есть примитивная задача - взять ActionType и сделать функцию, которая будет (о чудо!) брать payload и возвращать {type, payload}

Так-так, перепиливал для себя эту штуку - активно юзаю

const factory = type => payload => ({type, payload})

перегрузить для action?

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

я фигачил туда функцию ofType(action:Action) => action is Payload

перегрузить для action?

const factory = <A =TA?type: string) вроде уже перегружено или не про то речь?

я фигачил туда функцию ofType(action:Action) => action is Payload

есть сырцы?)

ofType (actionFactory<Payload>) => (action:Action) => action is Payload

под рукой нет

function factory<A extends number>(type: string) => (a: A): Action<A> => ({type, a}) function factory<T, A extends Action<T>>(type: string) => (a: T): Action<A> => ({type, a})

хотя мб я не понял что надо)

напиши ofType с типом (factory:ActionFactory<P>) => (action:Action<P>) => action is Action<P>

export const defaultCreator = <Payload =IPayload, Meta =IMeta>(type: IActionType): ICreator<Payload, Meta> => (payload: Payload, meta?: Meta): Action<Payload, Meta> => ({type, payload, meta})

напиши ofType с типом (factory:ActionFactory<P>) => (action:Action<P>) => action is Action<P>

что означает action is Action<P>? это не as?)

?

Это наоборот вообще скорее) type guard

https://www.typescriptlang.org/play/#src=type%20Action%3CP%3E%20%3D%20%7B%0D%0A%20%20%20%20type%3A%20string%0D%0A%20%20%20%20payload%3A%20P%0D%0A%7D%0D%0A%0D%0Atype%20ActionCreator%3CP%3E%20%3D%20(payload%3AP)%20%3D%3E%20Action%3CP%3E%0D%0A%0D%0Atype%20ActionFactory%3CP%3E%20%3D%20ActionCreator%3CP%3E%20%26%20%7Btype%20%3A%20string%7D%0D%0A%0D%0Aconst%20actionFactory%20%3D%20%3CP%3E(type%3Astring)%20%3A%20ActionFactory%3CP%3E%20%3D%3E%20%0D%0A%20%20%20%20%20%20%20%20Object.assign(%20%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20%7Btype%7D%2C%20%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20(payload)%20%3D%3E%20(%7Btype%2C%20payload%7D)%0D%0A%20%20%20%20%20%20%20%20)%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%0D%0A%0D%0Aconst%20ofType%20%3D%20%3CP%3E(factory%3AActionFactory%3CP%3E)%20%3D%3E%20(action%3AAction%3CP%3E)%20%3A%20action%20is%20Action%3CP%3E%20%3D%3E%0D%0A%20%20%20%20%20%20%20%20factory.type%20%3D%3D%20action.type%0D%0A%0D%0Alet%20myFactory%20%3D%20actionFactory%3C%7Bname%3Astring%7D%3E('USER_PAYLOAD')%0D%0A%0D%0Alet%20myAction%3Aany%20%3D%20myFactory(%7Bname%3A%22Hello%22%7D)%0D%0A%0D%0Aif(ofType(myFactory)(myAction))%20%7B%0D%0A%20%20%20%20console.log(myAction.payload.name)%0D%0A%7D%0D%0A

на фабрику можно сделать алиас, т.к. сам экшон ничем кроме payload не параметризуется

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

констант ещё блин не хватало )

ага

let myFactory = actionFactory<{name:string}?'USER_PAYLOAD')

вот это то, о чём мучал чат по flow

и еще такой вопрос у нас есть например интерфейс interface Out<Generic =number> { param Generic } мы можем вытащить тип Generic или param у экземпляра?

ну типа Out.Generic или Out.param

param Generic

это что?

тип

параметризованный интерфейс

param:Generic что ли ?

Модерновый синтаксис однако

Как вы там потомки

interface Action<Payload> { payload: Payload }

const action = Action<number> возможно ли здесь вытащить number

например type b = action:payload или типа того

в рантайме - нет

В ts скорее всего нельзя

в компайл тайме

куда его надо вытащить и зачем ?

Ну бывает такая необходимость

параметризовать что-то намбером

вот тем самым оттуда

if(ofType(myFactory)(myAction)) console.log(myAction.payload.name)

тайпгардом "вытащить" можно

Я бы просто посоветовал юзать type level function, которая вытащит тип дженерика непосредственно, но это будет слегка другой язык

haskell?)

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

это не совсем то, но спасибо)

haskell?)

f*ow

Мне запретили о нем говорить здесь(

Мне запретили о нем говорить здесь(

я вам там ещё нагажу неудобными вопросами

Догадываюсь))

Мне запретили о нем говорить здесь(

Почему? Можно!

это не совсем то, но спасибо)

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

и посмотришь как она устроена в TS

собственно нужен примитивный compile time)

но

это будет не компайл-тайм

Почему? Можно!

Ну ладно ?

const action = Action<number> возможно ли здесь вытащить number

interface Action<Payload> { payload: Payload } var test: Action<number>; type payload = typeof test.payload;

интересно, но даже так работает function foo<T>(test: Action<T>) { type payload = typeof test.payload; var p: payload; }

интересно, но даже так работает function foo<T>(test: Action<T>) { type payload = typeof test.payload; var p: payload; }

Такие вещи не должны существовать в рантайме

а где тут рантайм?

а где тут рантайм?

test и foo

Ну и это не сработает в более общем случае, кога тип есть, а поля в котором находится его дженерик нет (например оно приватное)

без поля да, не сработает. Но рантайма тут и рядом не пробегало

foo это функция в рантайме

для того чтобы получить Payload, нам нужно откуда-то его получить, ваш кэп

Нет конечно же

то есть, должна быть инстанация шаблона