было

и это не релиз

https://registry.npmjs.org/typescript/-/typescript-2.3.0.tgz

выглядит как релиз

но все же это не он https://github.com/Microsoft/TypeScript/releases

https://blogs.msdn.microsoft.com/typescript/2017/04/10/announcing-typescript-2-3-rc/

не он(

https://github.com/Microsoft/TypeScript/pull/15104

Вместо того чтобы делать нормально, опять хуевертят какие-то хаки

вот не могу понять чем это проще того, чтобы добавить ко\контр-вариантные типы

Ну формально явная ко и контравариантность нужна только для номинальных типов

Которых в ТС нет

В остальном вариантность вытекает из структурной типизации

И это правильно и логично

Пример: https://flow.org/try/#0FAFwngDgpgBAYgewQHgCoD4YF4YG9gwDUAHgFwyoDcwAvsMACZQDGANgIYBOsAblzGXhJkAOwCuAWwBGUTumrAAFIMQpx02TAA+MAM4hOASxEBzdAEpKQA

У T явно не указана вариантность, но по факту получается ковариантный тип

Которых в ТС нет

ну не совсем

с приватными вещами в классе можно

т.е. это костыль конечно https://www.typescriptlang.org/play/index.html#src=class%20A%20%7B%0D%0A%20%20%20%20private%20a%3A%20number%20%3D%200%3B%0D%0A%20%20%20%20b%3A%20string%20%3D%20%22%22%3B%0D%0A%7D%0D%0A%0D%0Aclass%20SimilarA%20%7B%0D%0A%20%20%20%20private%20a%3A%20number%20%3D%200%3B%0D%0A%20%20%20%20b%3A%20string%20%3D%20%22%22%3B%0D%0A%7D%0D%0A%0D%0Afunction%20f(a%3A%20A)%20%7B%0D%0A%20%20%20%20return%20a%3B%0D%0A%7D%0D%0A%0D%0Af(new%20SimilarA)

Ну да

но в общем-то это есть

А как заменить на generic такой код? Array<any> = [];Array<T> что-то не срабатывает

Cannot find name 'T'

А как заменить на generic такой код? Array<any> = [];Array<T> что-то не срабатывает

https://www.typescriptlang.org/docs/handbook/generics.html Generic не работает для переменных (что логично - только для функций и классов Самый простой способ создать identity функцию которая будет создавать контекст для Generic let test: Array<any> = []; let identity = <T>(v:T) => v; let test2 = identity<string[]>([]);

https://www.typescriptlang.org/docs/handbook/generics.html Generic не работает для переменных (что логично - только для функций и классов Самый простой способ создать identity функцию которая будет создавать контекст для Generic let test: Array<any> = []; let identity = <T>(v:T) => v; let test2 = identity<string[]>([]);

Спасиб ?

Тфв решил написать тайпингов для n модулей, а теперь пытаешься удержаться и не начать переписывать их на TS полностью.

Ребят кто умеет ts + compose + redux.createStore ?

я плюнул на войну с TS и взял flow

ладно, пришлось убрать декораторы

но когда он отказался пихать App в дом, обернутый в HOC от react-dnd

душа поэта не выдержала :(

Слабак

угу (

но когда он отказался пихать App в дом, обернутый в HOC от react-dnd

?

Ребят кто умеет ts + compose + redux.createStore ?

compose это про что?

compose это про что?

redux.compose

redux.compose

а что с ним не так?

типы

?

компилер выдавал ошибку на несоответствие типов

компилер выдавал ошибку на несоответствие типов

Flow или ts?

А что с декораторами?

тс

а что с ним не так?

как ему типы указать? compose<T, R, A>(devToolsExt, sagaMiddl)(createStore) что вместо этих T, R, A?

он в упор не понимал что такое @connect @dropTarget

он в упор не понимал что такое @connect @dropTarget

А ты их подключил?

О.о

конечно

Или флаг не включил?

Декораторы под флагом если че

да, я в курсе

в .tsconfig добавил

Ну, так какие прлблемы?

ERROR мать его )

Он отлично понимает декораторы из stage1

ну уже никаких

И на методы, и на классы

Ладно, что-то сложное видимо)

как ему типы указать? compose<T, R, A>(devToolsExt, sagaMiddl)(createStore) что вместо этих T, R, A?

Он вывести их должен сам

Ничего т.е.

как ему типы указать? compose<T, R, A>(devToolsExt, sagaMiddl)(createStore) что вместо этих T, R, A?

/* two functions */ export function compose<A, R>( f1: (b: A) => R, f2: Func0<A> ): Func0<R>; export function compose<A, T1, R>( f1: (b: A) => R, f2: Func1<T1, A> ): Func1<T1, R>; export function compose<A, T1, T2, R>( f1: (b: A) => R, f2: Func2<T1, T2, A> ): Func2<T1, T2, R>; export function compose<A, T1, T2, T3, R>( f1: (b: A) => R, f2: Func3<T1, T2, T3, A> ): Func3<T1, T2, T3, R>;

там же такой тип для двух функций

/* two functions */ export function compose<A, R>( f1: (b: A) => R, f2: Func0<A> ): Func0<R>; export function compose<A, T1, R>( f1: (b: A) => R, f2: Func1<T1, A> ): Func1<T1, R>; export function compose<A, T1, T2, R>( f1: (b: A) => R, f2: Func2<T1, T2, A> ): Func2<T1, T2, R>; export function compose<A, T1, T2, T3, R>( f1: (b: A) => R, f2: Func3<T1, T2, T3, A> ): Func3<T1, T2, T3, R>;

*facepalm*

Он вывести их должен сам

не выводит пишет Any

Ето норма

Советую просто забить

Все compose функции — это сложно для типизации, поэтому они сейчас разной степени ужасности

ERROR: S client not available

Но в редаксе — самая ужасная)

ладно, пришлось убрать декораторы

Декораторы на классы есть и то хорошо

не выводит пишет Any

а точно известны типы saga и devTools?

да

*facepalm*

а что сложного-то? первый аргумент - результат вызова второй функции, последний - результат вызова первой функции всё, что между ними - типы аргументов второй фунции

изи

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

а никто не видел для flow типа "variable"

ну т.е. регексп наверное

как ему типы указать? compose<T, R, A>(devToolsExt, sagaMiddl)(createStore) что вместо этих T, R, A?

а откуда ты взял эти T, R, A?

Кстати, должно быть тогда уж А, T, R =)

у тебя там грубо говоря только A(argument) и R(return)

Декораторы над классами должны вохвращать тот же тип. Если это не так, то декоратор надо использовать как функцию

или я туплю

да, видимо туплю

валидация уже мне нужна а не тайпчекинг

@syabro у тебя сначала непреодолимые проблемы были с mobx, теперь с ts. Странно это всё.

ну мне лень воевать с мельницами

попробовал — не очень получилось

переключился на альтернативу

Тоже не получится

Завязнешь на какой нибудь связке keyof и mapped types

запросто

писал давно на AS3

очень ок было

парни, а киньте свой .flowconfig плз посмотреть

Здесь чат про ТС))

@flowtype_ru

я думал тут TS + flow

сорян )

пойду туда, всем спасибо ^_^

я думал тут TS + flow

тут ts - flow )