ты не наследуешь типы

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

<T>(callback:(b:T)=>void, b:T) Я не говорю компилятору заткнуться. Это безграмотное объявление, попросту неверное

хорошо а как тогда мне это объявить?

естественно это пример из большого проекта

я хочу принять коллбек, и потом вызвать

Вот

https://www.typescriptlang.org/play/index.html#src=class%20A%20%7B%0D%0A%20%20%20%20public%20propA%3Anumber%20%3D%2010%3B%0D%0A%7D%0D%0A%0D%0Aclass%20B%20extends%20A%20%7B%0D%0A%20%20%20%20public%20propB%3Anumber%20%3D%2015%3B%0D%0A%7D%0D%0A%0D%0Afunction%20runBCallback%3CT%3E(callback%3A(b%3AT)%3D%3Evoid%2C%20b%3AT)%3Avoid%20%7B%0D%0A%09callback(b)%3B%0D%0A%7D%0D%0A%0D%0Alet%20funcWantB%20%3D%20(b%3AB)%20%3D%3E%20alert(b.propB)%3B%0D%0A%0D%0Alet%20button%20%3D%20document.createElement('button')%3B%0D%0Abutton.textContent%20%3D%20%22Say%20Hello%22%3B%0D%0Abutton.onclick%20%3D%20function()%20%7B%0D%0A%20%20%20%20runBCallback(funcWantB%2Cnew%20A())%3B%0D%0A%7D%0D%0A%0D%0Adocument.body.appendChild(button)%3B

Вот

там тоже самое

слегка упростил для наглядности

Вы не так типы объявили

.

всмысле - не так? объявил как мне надо

Ну результат соответствующий)) Ща, 10 минут

слегка упростил для наглядности

похоже не пошарилось, там символ в символ тоже самое что я постил

https://www.typescriptlang.org/play/index.html#src=%0D%0Aclass%20A%20%7B%7D%0D%0Aclass%20B%20extends%20A%20%7B%7D%0D%0A%0D%0Afunction%20test(fn%3A%20(v%3A%20B)%20%3D%3E%20void)%20%7B%0D%0A%09fn(new%20A)%0D%0A%7D

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

Смотрите

https://www.typescriptlang.org/play/index.html#src=class%20A%20%7B%0D%0A%20%20%20%20public%20propA%3Anumber%20%3D%2010%3B%0D%0A%7D%0D%0A%0D%0Aclass%20B%20extends%20A%20%7B%0D%0A%20%20%20%20public%20propB%3Anumber%20%3D%2015%3B%0D%0A%7D%0D%0A%0D%0Afunction%20runBCallback%3CT%2CU%20extends%20T%3E(callback%3A(b%3AU)%3D%3Evoid%2C%20b%3AT)%3Avoid%20%7B%0D%0A%09callback(b)%3B%0D%0A%7D%0D%0A%0D%0Alet%20funcWantB%20%3D%20(b%3AB)%20%3D%3E%20alert(b.propB)%3B%0D%0A%0D%0Alet%20button%20%3D%20document.createElement('button')%3B%0D%0Abutton.textContent%20%3D%20%22Say%20Hello%22%3B%0D%0Abutton.onclick%20%3D%20function()%20%7B%0D%0A%20%20%20%20runBCallback(funcWantB%2Cnew%20A())%3B%0D%0A%7D%0D%0A%0D%0Adocument.body.appendChild(button)%3B

так, этот пример тогда не о том

class A { public propA:number = 10; } class B extends A { public propB:number = 15; } function runBCallback<T,U extends T>(callback:(b:U)=>void, b:T):void { callback(b); } let funcWantB = (b:B) => alert(b.propB); let button = document.createElement('button'); button.textContent = "Say Hello"; button.onclick = function() { runBCallback(funcWantB,new A()); } document.body.appendChild(button);

https://www.typescriptlang.org/play/index.html#src=%0D%0Aclass%20A%20%7B%7D%0D%0Aclass%20B%20extends%20A%20%7B%7D%0D%0A%0D%0Afunction%20test(fn%3A%20(v%3A%20B)%20%3D%3E%20void)%20%7B%0D%0A%09fn(new%20A)%0D%0A%7D

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

> Mike гы, так у тебя расширивший не отличается по сигнатуре, типизация то структураная. добавь свойство в класс B и тут же упадёт всё думал классы номинальные, как в flow

Обращаю ваше внимание, что тут нельзя объявить всё от одного дженерика, только от <T,U extends T>

Опять язык виноват(

Обращаю ваше внимание, что тут нельзя объявить всё от одного дженерика, только от <T,U extends T>

сейчас осознаю

нет function runBCallback<T, U extends T> (callback:(b:U)=>void, b:T):void { callback(b); } в принципе не компилится

Здорово, правда?)

а толку?

Ошибка и не компилится, возмутительно!

блин речь вообще не о том

сейчас ещё другой пример сделаю

Речь о том, что объявлять тип надо так, а не как в ваших примерах, это бессмысленно

как вы редьюсеры пишите на flow/ts?

вот пример

https://www.typescriptlang.org/play/index.html#src=class%20A%20%7B%0D%0A%7D%0D%0A%0D%0Aclass%20B%20extends%20A%20%7B%0D%0A%20%20%20%20boom()%20%7B%7D%0D%0A%7D%0D%0A%0D%0Alet%20fn%20%3D%20(b%3AB)%20%3D%3E%20%7B%0D%0A%09b.boom()%0D%0A%7D%0D%0A%0D%0Afunction%20test(f%3A%20(f%3A%20(t%3A%20A)%20%3D%3E%20void)%20%3D%3E%20void)%20%7B%0D%0A%20f(fn)%0D%0A%7D

который показывать что тс - говно

вопрос именно в наследовании и то что когда функция хочет наследника ей можно скормить предка

Так нельзя делать %)

Это бред

Для этого интерфейсы есть

С интерфейсами тоже самое

запиши константу строкой

https://www.typescriptlang.org/play/index.html#src=class%20A%20%7B%0D%0A%7D%0D%0A%0D%0Aclass%20B%20extends%20A%20%7B%0D%0A%20%20%20%20boom()%20%7B%7D%0D%0A%7D%0D%0A%0D%0Alet%20fn%20%3D%20(b%3AB)%20%3D%3E%20%7B%0D%0A%09b.boom()%0D%0A%7D%0D%0A%0D%0Afunction%20test(f%3A%20(f%3A%20(t%3A%20A)%20%3D%3E%20void)%20%3D%3E%20void)%20%7B%0D%0A%20f(fn)%0D%0A%7D

а в issue есть?

С интерфейсами тоже самое

Что - то же самое? Функция, который требуется метод boom будет принимать соответствующий интерфейс и ей вообще будет до лампочки какие там типы

А у тебя опять идёт тавталогия

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

https://www.typescriptlang.org/play/index.html#src=class%20A%20%7B%0D%0A%20%20%20%20public%20propA%3Anumber%20%3D%2010%3B%0D%0A%7D%0D%0A%0D%0Aclass%20B%20extends%20A%20%7B%0D%0A%20%20%20%20public%20propB%3Anumber%20%3D%2015%3B%0D%0A%7D%0D%0A%0D%0Aclass%20FeederWithA%20%7B%0D%0A%09public%20feedCallbackWithA(callback%3A(a%3AA)%20%3D%3E%20void)%3Avoid%20%7B%0D%0A%09%09callback(new%20A())%3B%0D%0A%09%7D%0D%0A%7D%0D%0Alet%20aFeeder%20%3D%20new%20FeederWithA()%3B%0D%0A%0D%0Alet%20button%20%3D%20document.createElement('button')%3B%0D%0Abutton.textContent%20%3D%20%22Say%20Hello%22%3B%0D%0Abutton.onclick%20%3D%20function()%20%7B%0D%0A%20%20%20aFeeder.feedCallbackWithA((b%3AB)%20%3D%3E%20alert(b.propB))%3B%0D%0A%7D%0D%0A%0D%0Adocument.body.appendChild(button)%3B

запиши константу строкой

какую константу?

какую константу?

AUTH_START

flow говорит, что payload может быть undefined

и это правда, он может быть undefined

то есть как flow объяснить соответствие типа экшна и данных?

https://www.typescriptlang.org/play/index.html#src=class%20A%20%7B%0D%0A%20%20%20%20public%20propA%3Anumber%20%3D%2010%3B%0D%0A%7D%0D%0A%0D%0Aclass%20B%20extends%20A%20%7B%0D%0A%20%20%20%20public%20propB%3Anumber%20%3D%2015%3B%0D%0A%7D%0D%0A%0D%0Aclass%20FeederWithA%20%7B%0D%0A%09public%20feedCallbackWithA(callback%3A(a%3AA)%20%3D%3E%20void)%3Avoid%20%7B%0D%0A%09%09callback(new%20A())%3B%0D%0A%09%7D%0D%0A%7D%0D%0Alet%20aFeeder%20%3D%20new%20FeederWithA()%3B%0D%0A%0D%0Alet%20button%20%3D%20document.createElement('button')%3B%0D%0Abutton.textContent%20%3D%20%22Say%20Hello%22%3B%0D%0Abutton.onclick%20%3D%20function()%20%7B%0D%0A%20%20%20aFeeder.feedCallbackWithA((b%3AB)%20%3D%3E%20alert(b.propB))%3B%0D%0A%7D%0D%0A%0D%0Adocument.body.appendChild(button)%3B

Функция требует тип A, B extends A, что не так то?

через disjoint union

flow говорит, что payload может быть undefined

https://www.typescriptlang.org/play/index.html#src=type%20Action1%20%3D%20%7B%0D%0A%09type%3A%20%22Action1%22%3B%0D%0A%09field1%3A%20number%3B%0D%0A%7D%0D%0Atype%20Action2%20%3D%20%7B%0D%0A%09type%3A%20%22Action2%22%3B%0D%0A%09field2%3A%20string%3B%0D%0A%7D%0D%0A%0D%0Atype%20Action%20%3D%20Action1%20%7C%20Action2%3B%0D%0A%0D%0Afunction%20reducer(action%3A%20Action)%20%7B%0D%0A%09switch(action.type)%20%7B%0D%0A%09%09case%20%22Action1%22%3A%0D%0A%09%09return%20action.field1%3B%0D%0A%09%09case%20%22Action2%22%3A%0D%0A%09%09return%20action.field2%3B%0D%0A%09%7D%0D%0A%7D ts 2.0 без ошибок будет

Вот пример: https://www.typescriptlang.org/play/index.html#src=interface%20A%20%7B%0D%0A%7D%0D%0A%0D%0Ainterface%20B%20%7B%0D%0A%20%20%20%20boom()%3A%20void%0D%0A%7D%0D%0A%0D%0A%0D%0Afunction%20test(fn%3A%20(a%3A%20A)%20%3D%3E%20void)%20%7B%0D%0A%20fn(%7B%7D)%0D%0A%7D%0D%0A%0D%0Avar%20a%3A%20A%20%3D%20%7B%7D%0D%0A%0D%0A%0D%0Avar%20fn%20%3D%20(b%3A%20B)%20%3D%3E%20b.boom()%3B%0D%0A%0D%0Atest(fn)

запустите и посмотрите, что будет

Функция требует тип A, B extends A, что не так то?

да то что мой коллбек который явно объявил что хочет B накормили A

я объявил функцию которая хочет B, и скормил в место которое обещает накормить его A, не наоборот

и это скомпилилось

Вообще это скорее всего баг, даже по меркам тайпскрипта

гм, ну это немного пиздец так описывать)

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

Он вообще не правильный теперь!

неправильный)

У вас ложная система типов

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

нельзя получить типы не описав типы

У вас ложная система типов

чта?

Нельзя получить типы просто описав типы!

Пипец) Да вы меня троллите, не бывает так %)

слишком добуя приходится описывать

слишком добуя приходится описывать

ну а как ты себе представляешь работу без этого?

магия?

У вас ложная система типов

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

https://github.com/Microsoft/TypeScript/issues/1394

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

Я вам уже выше присылал

вот оно

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

https://github.com/Microsoft/TypeScript/issues/1394

Это не поможет - в данном случае ts считает функции ковариантными относительно параметров

всмысле, относительно аргументов

Это не поможет - в данном случае ts считает функции ковариантными относительно параметров

так вот не только в данном

просто аннотации не помогут - здесь просто тупость какая-то

плюс нельзя использовать константы

плюс нельзя использовать константы

но они и не нужны

а когда захочешь переименовать, чесать репу?

просто переименовываешь, в чем проблема

в нескольких местах?

да

тайпчекер же скажет где че

или ты так хочешь оставить const FOO=‘BAR’?

это тоже как то не очень

ты передергиваешь

переименовать значение переменной, а потом переменную - это одно

я просто говорю, что это так и так придется сделать

найти все значения - это другое

за тебя все найдут

еще у flow заметил пиздец тупость

объявлен тип, переменная типа, у переменной не правильный тип