как вариант использовать myvar as numberp[]

за такое линтами по рукам бьют

за такое линтами по рукам бьют

не, ну то что проблема в скрипте это понятно

но если очень хочется

ребятб я научился писать на TypeScript. могу ли я теперь быть сверхчеловеком?

нет

ребятб я научился писать на TypeScript. могу ли я теперь быть сверхчеловеком?

Смысле писать бекенд?

ты не научился

ребятб я научился писать на TypeScript. могу ли я теперь быть сверхчеловеком?

Приходи после того как выучишь PureScript ?

Приходи после того как выучишь PureScript ?

А поцчему не Reason? Там сразу двух зайцев одним окамлом

Приходи после того как выучишь PureScript ?

Я думал все сверхчеловеки давно на лиспе фигачат

Моя резольвента твердеет

Господа, кто-то сталкивался с TS4023?

Надо экспортить типы, которые используеются в тех типах или значениях, которые ты экспортишь :)

Я экспорту вообще все

То есть export * from...

Есть допустим модуль UI, у него в главном файле импортируются и экспортируются все модельки import * as Models from './models' export {Models} Другой модуль пользуется этими модельками import {Models} from 'ui' export const getSome = (some: Models.Some) =>... И вот тут на getSome идёт TS4023

Не могу понять где именно проблема

У тебя "другой модуль" экспортипрует getSome, которая использует Models.Some. Надо в этом модуле экспортить export {Models} тоже

Оо

У тебя "другой модуль" экспортипрует getSome, которая использует Models.Some. Надо в этом модуле экспортить export {Models} тоже

Сомнительный метод, но я в отчаяние, поэтому решил попробовать. Не помогло

Проблема именно в этом, 100%, и решается она экспортом используемых типов

Проблема решается когда импортишь используемый тип напрямую, то есть через import {Some} from 'ui/models/Some'

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

Проблема решается когда импортишь используемый тип напрямую, то есть через import {Some} from 'ui/models/Some'

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

если нет в issues, то стоит добавить

если нет в issues, то стоит добавить

К сожалению, скорее всего уже не актуальный issue будет, так как в компании мы используем ts 2.3.3...

https://www.typescriptlang.org/play/index.html#src=declare%20module%20%22a%22%20%7B%0D%0A%20%20%20%20export%20type%20Key%20%3D%20%22test%22%0D%0A%20%20%20%20export%20type%20S%20%3D%20%22test2%22%0D%0A%7D%0D%0A%0D%0Adeclare%20module%20%22b%22%20%7B%0D%0A%20%20%20%20import%20*%20as%20Models%20from%20%22a%22%0D%0A%20%20%20%20export%20%7B%20Models%20%7D%0D%0A%7D%0D%0A%0D%0Adeclare%20module%20%22c%22%20%7B%0D%0A%20%20%20%20import%20%7B%20Models%20%7D%20from%20%22b%22%0D%0A%20%20%20%20export%20const%20f%3A%20(key%3A%20Models.Key)%20%3D%3E%20string%0D%0A%7D

ну да, в playground не воспроизводится

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

че думаете пацаны

не нужно

почему

Что-то похоже на Checked Exceptions в Java или как они там

В джаве от этого выли

Что-то похоже на Checked Exceptions в Java или как они там

ага

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

ну т.е. это еще хуже, чем просто типы в тс

короче для такого лучше использовать Either например

в питоне работает ок

в питоне работает ок

?

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

?

try: do_something() catch MyException: … catch AnotherException: … catch Excepton: // broad …

Это немного чёто не то

Это просто исключения, ну, как везде

try: do_something() catch MyException: … catch AnotherException: … catch Excepton: // broad …

это не то

эммм

вопрос про описание того, что функция может бросать

А чекед - потребитель ОБЯЗАН обработать бросаемые методом исключения, которые он объявил

а не про catch по типу

а, неправильно понял тогда

лол

удачи

Type '{ [Symbol.iterator](): IterableIterator<number>; }' is not an array type.

Type '{ [Symbol.iterator](): IterableIterator<number>; }' is not an array type.

но [...this.manager] уже является массивом.

я даже спред не могу сделать

и мне нужно, чтобы была информация о типе элемента массива

я даже спред не могу сделать

у меня работает. Компилирует. И без ошибок выполняется. Мало того, этих примеров много в интернете (но не для тайпскрипта, а просто для JS)

я даже спред не могу сделать

щаз попробую в плейграунде сделать

я даже спред не могу сделать

странно, имитация моего класса не удалась. А каким образом вот это тогда работает? http://plnkr.co/edit/8BV20knte9zIjC1fIp7k?p=preview А в тайпскрипте это уже не работает.

тайпскрипт не умеет просто))

ERROR: S client not available

тайпскрипт не умеет просто))

но ведь то что работает в JS по идее должно работать в TS?...

ну нет))

тс может не понимать какой тип

тогда вопрос в типизации. Как правильно описать итератор для ... ?

тайпскрипт не умеет просто))

тайпскрипт не умеет просто))

описывать типы???

итераторы

https://flow.org/try/#0GYVwdgxgLglg9mAVAAgOYFMzoE4EMroDK6AjiJhOgBQDOUu2UANMpgCYCUyA3gFDIDk-QQOBxsyKgBt0UZDGQBeZHQZQA3POQAeZe00wA1Ia58RIgJ4x0UtvPXCRAX0dDnr1zLk1S5SOiVkAG0AOjCMLDwCYjIKagAmJgBWDgBdB0EgA

в флоу норм

с другой стороны флоу не умеет символы

итераторы

у него уже есть Iterator, IterableIterator... и прочие. теоретически может. это мы не умеем... ладно, пошел дальше копать гуглить яндексить

с другой стороны флоу не умеет символы

флоу меня как-то мало интересует... хотелось бы то же блюдо, но на ТС)

хм

а какой таргет в плэйграунде?

а какой таргет в плэйграунде?

http://www.typescriptlang.org/play/index.html#src=class%20Manager%20%7B%0D%0A%20%20%20%20*%5BSymbol.iterator%5D()%3A%20IterableIterator%3Cnumber%3E%20%7B%0D%0A%09%09yield%201%3B%0D%0A%09%09yield%202%3B%0D%0A%09%09yield%203%3B%0D%0A%09%7D%0D%0A%7D%0D%0A%0D%0A%0D%0Aconst%20manager1%20%3D%20new%20Manager%3B%0D%0A%0D%0Aconst%20numbers%20%3D%20%5B...manager1%5D%3B%0D%0A%0D%0A

а какой таргет в плэйграунде?

что-то не смог найти таргет...

"target": "es6"

что это? Как это заработало?

"target": "es6"

в конфиге

"target": "es6"

где конфиг в плейграунде???

нигде)

это вскод

это вскод

у меня и стоит "target": "es6", а вопрос в чем?

но элемент массива не определяет как number[]

а какая тут IDE работает?

VSCode

странно)

у меня IDEA вот это показывает... щаз гляну в vscode

а версия тс?