или может //@ts-check

типа как-то так // file.js export const obj = { 'one': 1, 'two': 2 } // file.ts import { obj } from './file'; type SomeType = keyof obj;

keyof typeof obj;

с as красивше как по мне

если ток так

Ну это опять каст

кароч нужны вариадик кайнды

https://github.com/Microsoft/TypeScript/issues/5453#issuecomment-376236298

keyof typeof obj;

спасибо! Я ровно так и хотел сделать, но порядок ключевых слов перепутал)

я чот не пойму

он выводит тапл что ли?

почему в ретурне тогда не может его вывести

лайфхак export const tuple = <T extends [void] | {}>(x: T) => x

tuple([1, 2, 'three'])

он выводит тапл что ли?

Ппц упорин)

лайфхак export const tuple = <T extends [void] | {}>(x: T) => x

ооо

это откуда

это откуда

в иссуях копался на гитхабе

от tycho01?

от tycho01?

да уж не помню

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

[void] мдаа)

"target": "es2015", если ен ошибаюсь

да, проверил, ниже es2015 будет ошибка при for of по generator

Привет. Использую решение основанное на jss и постоянно тайпскрипт выдает ошибку: Type '{ position: string; }' is not assignable to type 'CSSProperties'. Types of property 'position' are incompatible. Type 'string' is not assignable to type '"relative" | "initial" | "inherit" | "unset" | "static" | "absolute" | "fixed" | "sticky" | undef...'.

то есть в position должно быть одно из enum значений. А я туда строку присваиваю. Пусть и соответствующую одному из значений

то есть в position должно быть одно из enum значений. А я туда строку присваиваю. Пусть и соответствующую одному из значений

Если это внутри объекта то надо скастовать строку в literal-тип

Если это внутри объекта то надо скастовать строку в literal-тип

это в функции возвращающей объект

можешь показать пример?

можешь показать пример?

const style = { position: 'fixed' as 'fixed' }

тогда style.position будет иметь тип "fixed", а не string

const style = { position: 'fixed' as 'fixed' }

да, заработало) Спасибо

хм, только не похоже ли это на костыль?

ну такое, как вариант можно так: const style: CSSProperties = { position: "fixed" }

ну такое, как вариант можно так: const style: CSSProperties = { position: "fixed" }

попробовал так, но теперь стреляет в другом месте: Type '{ flexGrow: number; }' is not assignable to type 'string | number | undefined'. Type '{ flexGrow: number; }' is not assignable to type 'number'.

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

Да нет, почему странно?

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

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

кстати да, ты прав

спасибо за помощь!

Я правильно понимаю, что в таком случает typeof {type: "SET_AGE", payload: age} флоу всегда выводит "SET_AGE" как литеральный тип, а ТС как строковый?

можно ли заставить ТС выводить тип как литеральный?

https://hackernoon.com/redux-flow-type-getting-the-maximum-benefit-from-the-fewest-key-strokes-5c006c54ec87 вот в этой статье это хорошо показано, выходит что флоу лучше приспособлен для редукса?

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

Флоу лучше вообще к жс приспособлен

У него система типов гораздо мощнее

как выяснилось, TS выведет литеральный тип если переменная объявлена через const const baseUrl = "https://example.com/"; // Inferred type: "https://example.com/" Видимо во флоу такая же история, только он еще его будет выводить как литерал даже при использовании внутри объекта, а ТС нет

это уже скорее баг ТС

Нет ли планов это пофиксить? Мне это надоело уже. 'foo' as 'foo' — содомия какая-то.

согласен

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

Как звучит то ?

А вообще плюсую

Без разницы кто выводит строки в редаксе лучше если оптимальнее просто не завязывать редакс на них

Нужно понимать, что первое, что интересует в экшне это payload

тип которого должен выводиться от текущей ветки switch(type)

Ввиду чего тип можно сформулировать так type Action<P> = { type: string, payload: P, }

Следующий логичный шаг - отказ от switch, да

тип которого должен выводиться от текущей ветки switch(type)

Кому должен всем простил) Есть альтернативные способы вывода payload

это уже скорее баг ТС

не совсем баг, дань обратной совместимости

"Ето не баг ето фича"

Поэтому объект выводится как { a: string }, а не { a: 'type' }

Вот тут уже обсуждали кстати

А кто нибудь контрибьютил в ТС? Что нибудь существенное особенно

Тоесть интересно реально ли пофиксить вышеозвученое поведение?

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

и наконец-то статичная типизация.. на ноде… этого дико не хватало

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

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

бля, я все хочу попробовать )

но чот открываю на тсе орм, читаю, закрываю

Общие типы между фронтом и клиентом можно юзать в любом случае

У нас ваще скала на бэке

Типы общие

хм

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

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

https://www.typescriptlang.org/docs/handbook/compiler-options.html —noEmitOnError

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

Или можно генерить типы на основании swagger/raml, если сервер не на тс

блин.. не дочитал доку CLIя

да я вообще.. попробовал щас тайпскрипт

как глоток свежего воздуха

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

Да, типа того. Но у нас проще чутка, у нас изначально всё сводится к более-менее общему формату в json, а оттуда каждый (каждая платформа) сам себе уже адаптирует

ибо эти… if (‘blabla’ in data) if (‘blabla’ in data) if (‘blabla’ in data) if (‘blabla’ in data) задолбали уже до глубины души...

как глоток свежего воздуха

не пробуй пока флоу, задохнешься

я флоу пробовал

не понравилось

ибо эти… if (‘blabla’ in data) if (‘blabla’ in data) if (‘blabla’ in data) if (‘blabla’ in data) задолбали уже до глубины души...

И нах это нужно?

потому что не правильные параметры могут привести к неопределенному поведению софта

Если у тебя говнокод в проекте то от тс лучше не станет)

плюс тесты

а так другой тип не подсунешь, ts не пропустит

потому что не правильные параметры могут привести к неопределенному поведению софта

Ну значит надо писать по нормальному

Ну значит надо писать по нормальному

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

вот как раз TS очень помогает когда страшный гавнокод

когда тебе в метод где ты ждешь число.. не прилетит булеан или объект