а как оно должно работать О.о

подтип string

типа type constraint? а, нашел https://flowtype.org/blog/2015/03/12/Bounded-Polymorphism.html

не, TS не осилил

http://bit.ly/2fmgpuA

да, про строковые type union's в ts чет я погнал https://basarat.gitbooks.io/typescript/content/docs/types/stringLiteralType.html

не, TS не осилил

проблема с промисом, если ему туда Promise<{}>, то не показывает ошибку

зато имя константы норм понимает :))

я правильно понимаю, что в TS : - это extends?

Кажется это вообще не валидно

в flow валидно

extends это extends, можно ещё с & записать

проблема с промисом, если ему туда Promise<{}>, то не показывает ошибку

те понял, куда надо такое подсунуть?

те понял, куда надо такое подсунуть?

https://www.typescriptlang.org/play/index.html#src=export%20type%20AppState%20%3D%20%7B%7D%3B%0A%0Aexport%20type%20SuccessAction%3CType%20extends%20string%2C%20Payload%3E%20%3D%20%7B%0A%20%20type%3A%20Type%2C%0A%20%20error%3F%3A%20false%2C%0A%20%20payload%3A%20Payload%0A%7D%3B%0A%0Aexport%20type%20ErrorAction%3CType%20extends%20string%3E%20%3D%20%7B%0A%20%20type%3A%20Type%2C%0A%20%20error%3A%20true%2C%0A%20%20payload%3A%20Error%0A%7D%3B%0A%0Aexport%20type%20Action%3CType%20extends%20string%2C%20Payload%3E%20%3D%20SuccessAction%3CType%2C%20Payload%3E%20%7C%20ErrorAction%3CType%3E%3B%0Aexport%20type%20AsyncAction%3CActionType%3E%20%3D%20(api%3A%20ThunkApi%3CActionType%3E)%20%3D%3E%20void%3B%0A%0Aexport%20type%20Dispatch%3CActionType%3E%20%3D%20(action%3A%20ActionType%20%7C%20AsyncAction%3CActionType%3E)%20%3D%3E%20void%3B%0Aexport%20type%20GetState%20%3D%20()%20%3D%3E%20AppState%3B%0A%0Aexport%20type%20ThunkApi%3CActionType%3E%20%3D%20%7B%0A%20%20dispatch%3A%20Dispatch%3CActionType%3E%2C%0A%20%20getState%3A%20GetState%0A%7D%3B%0A%0Aexport%20function%20dispatchAsync%3CT%20extends%20string%2C%20P%3E(dispatch%3A%20Dispatch%3CAction%3CT%2C%20P%3E%3E%2C%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%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20type%3A%20T%2C%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%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20promise%3A%20Promise%3CP%3E)%3A%20void%20%7B%0A%20%20promise.then((payload%3A%20P)%20%3D%3E%20%7B%0A%20%20%20%20const%20action%3A%20SuccessAction%3CT%2C%20P%3E%20%3D%20%7B%20type%2C%20payload%2C%20error%3A%20false%20%7D%3B%0A%0A%20%20%20%20dispatch(action)%3B%0A%20%20%7D%2C%20(payload%3A%20Error)%20%3D%3E%20%7B%0A%20%20%20%20const%20action%3A%20ErrorAction%3CT%3E%20%3D%20%7B%20type%2C%20payload%2C%20error%3A%20true%20%7D%3B%0A%0A%20%20%20%20dispatch(action)%3B%0A%20%20%7D)%3B%0A%7D%0A%0Aexport%20type%20LoadAction%20%3D%20Action%3C'ARCHIVE_LOAD'%2C%20number%3E%3B%0A%0Aexport%20function%20load(offset%3A%20string%7Cnull)%3A%20AsyncAction%3CLoadAction%3E%20%7B%0A%20%20const%20p%3A%20Promise%3C%7B%7D%3E%20%3D%20Promise.resolve(%7B%7D)%3B%0A%20%20return%20(%7B%20dispatch%20%7D)%20%3D%3E%20%7B%0A%20%20%20%20dispatchAsync(%0A%20%20%20%20%20%20dispatch%2C%0A%20%20%20%20%20%20'ARCHIVE_LOAD'%2C%0A%20%20%20%20%20%20p%0A%20%20%20%20)%3B%0A%20%20%7D%3B%0A%7D

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

это и объясняю системе типов

да, TS молодец)

вот промисы вроде в 2.1 починили

это и объясняю системе типов

Нет, не это

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

стопэ

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

Немного бессмысленная конструкция, function<TYPE> — это описание дженерика, писать что дженерик - это строка — оксюморон) Просто делай интерфейс с одним дженериком, а не двумя

всем привет! Подскажите годный бойлерплейт тс+реакт+вебпак

@mkusher @vkurchatkin для сравнения выхлоп flow)) https://gist.github.com/nkt/07082fcfcc6926bdce14280398758319

не, ну он тоже вывел две константы

Немного бессмысленная конструкция, function<TYPE> — это описание дженерика, писать что дженерик - это строка — оксюморон) Просто делай интерфейс с одним дженериком, а не двумя

неа

не, ну он тоже вывел две константы

среди кучки варнингов фиг это найдешь, просто надо конечно уметь фильтровать вывод от флоу)

Я честного говоря не знаю, как это сделать лучше

среди кучки варнингов фиг это найдешь, просто надо конечно уметь фильтровать вывод от флоу)

это с опытом наверное приходит

кароче склонился к тс, а там если что свичнусь, на два стула не сесть

?

Можно просто не выводить по юниону инфу, но будет ли это лучше?

неа

Да

Зачем вы string тут расширяете ?

Потому что у строки есть подтипы

Например, 'foo' | 'bar' <: string

Можно просто не выводить по юниону инфу, но будет ли это лучше?

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

Всё логично, чтоо не так?

Объявление типа есть код

Ну кроме дженерика-строки, конечно

Ну вообще ошибка может быть и там и там

Всё логично, чтоо не так?

ну подобное дает T: string. type может быть только строка, но дает мне возможность делать псевдо-паттерн-матчинг в редьюсерах

ну, это как .h файлы в c/c++. Есть интерфейс, а есть имплементация. Скорее всего ты ошибся в имплементации, а не декларации

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

сложна

там сложная логика с error)

но в flow работает.

может `error?:`убрать?

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

какое

ну, что ты P(Payload) должен быть совместим с Error

но я кажется понял

это по FSA

fsa?

https://github.com/acdlite/flux-standard-action

ну подобное дает T: string. type может быть только строка, но дает мне возможность делать псевдо-паттерн-матчинг в редьюсерах

Зачем, опять же? Есть нормальный в языке, а вы сову на глобус натягиваете

Зачем, опять же? Есть нормальный в языке, а вы сову на глобус натягиваете

ничего не понял))

ERROR: S client not available

это по FSA

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

если error null | false - payload должен быть P. Если true - должен быть Error

я понимаю твою логику

я пытаюсь понять, как тс пришел к таким выводам

Ну кроме дженерика-строки, конечно

>сову на глобус натягивает лол

ничего не понял))

>ну подобное дает T: string. Дженерик типа стринг не даёт ничего кроме головной боли интерпретатору interface IAction <T> { type: string; payload:T } Ваш тип все равно по нормальному выглядит вот так, и паттерн матчинг тоже будет работать именно с нормальной формой)

мм, я просто typedef-ы создаю. а тут наследование. но для flow/ts код будет аналогичным, скорее всего и тот и другой. А мой короче - потому так и пишу)

мм, я просто typedef-ы создаю. а тут наследование. но для flow/ts код будет аналогичным, скорее всего и тот и другой. А мой короче - потому так и пишу)

Я бы не сказал, что сильно короче) Тип можно объявить один раз,а вместо этого в каждой строчки T extends string, который по сути ничего и не делает вообще)

эм, нет)

Жуть какая

почему жуть?

вместо 4 строк, 1. по смыслу все также понятно.

Это же всё обобщить можно, вмеесто целого абзаца символов)

Хотя я наверное просто забыл, что в тс всегда всё так ?

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

В тс это крайне тонкая грань)

насчет перечислений — в TS есть оба варианта — и полновесный enum и const enum, выпиливающийся при компиляции http://www.typescriptlang.org/docs/handbook/enums.html

насчет перечислений — в TS есть оба варианта — и полновесный enum и const enum, выпиливающийся при компиляции http://www.typescriptlang.org/docs/handbook/enums.html

Есть ещё перечисления type A = "a" | "b"

ребята и девчата, пожскажите пожалуйста. есть проект на ноде, хочу попробовать TS, как максимально просто и безболезненно сделать переход? чем билдить проект? собирать все в бандл или оставить как есть - кучу модулей?

на ноде бандл не нужен

https://www.slideshare.net/mobile/VyacheslavSlinko/ss-68234313

https://twitter.com/vslinko/status/794859155509149696

Доброе утро, есть небольшой вопрос: через tsd установил express, pg, body-parser а потом через npm установил express, pg, body-parser. когда запускаю typescript файл: config/db.ts(1,21): error TS2307: Cannot find module 'pg'. index.ts(1,26): error TS2307: Cannot find module 'express'. index.ts(4,29): error TS2307: Cannot find module 'body-parser'. но сам js скрипт появился и работает.

vможно добавить в compilerOptions allowJs: true

а можно установить тайпинги для модулей

Доброе утро, есть небольшой вопрос: через tsd установил express, pg, body-parser а потом через npm установил express, pg, body-parser. когда запускаю typescript файл: config/db.ts(1,21): error TS2307: Cannot find module 'pg'. index.ts(1,26): error TS2307: Cannot find module 'express'. index.ts(4,29): error TS2307: Cannot find module 'body-parser'. но сам js скрипт появился и работает.

https://blogs.msdn.microsoft.com/typescript/2016/06/15/the-future-of-declaration-files/ сюда еще глянь