вроде как

там только если захардкодить для случаев от 1 до 10, не знаю надо ли кому больше)

path типизировать, например

а, path это штука, которая принимает строку и объект?

массив строк

Ведёт себя как elvis оператор по соответствующим полям

хм, массив строк мб и можно

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

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

На один уровень шагнуть можно, я реально типизировал так, что пишешь prop('child') и получаешь корректный тип <T, C?obj: T) => C, реально выводящий тип поля

Но Дальше уже никак там, да

А в рамде половина методов завязана на строках-ключах

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

ща тестану

Не, у меня не получалось

надо на тип объект ограничений накладывать

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

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

https://www.typescriptlang.org/play/index.html#src=type%20OneLevel%20%3D%20%7B%0A%20%20%20%20%5Bkey%3A%20string%5D%3A%20any%3B%0A%7D%3B%0Atype%20TwoLevels%20%3D%20%7B%0A%20%20%20%20%5Bkey%3A%20string%5D%3A%20OneLevel%3B%0A%7D%3B%0Adeclare%20function%20path%3CO%20extends%20TwoLevels%2C%20T1%20extends%20keyof%20O%2C%20T2%20extends%20keyof%20O%5BT1%5D%3E(path%3A%20%5BT1%2C%20T2%5D%2C%20o%3A%20O)%3A%20O%5BT1%5D%5BT2%5D%3B%0Adeclare%20function%20path%3CO%20extends%20TwoLevels%2C%20T1%20extends%20keyof%20O%3E(path%3A%20%5BT1%5D%2C%20o%3A%20O)%3A%20O%5BT1%5D%3B%0A%0Aconst%20o%20%3D%20%7B%0A%20%20%20%20a%3A%20%7B%0A%20%20%20%20%20%20%20%20b%3A%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20c%3A%201%0A%20%20%20%20%20%20%20%20%7D%0A%20%20%20%20%7D%0A%7D%3B%0Aconst%20a%20%3D%20path(%5B%22a%22%5D%2C%20o)%3B%0Aconst%20p%3A%20%5B%22a%22%2C%20%22b%22%5D%20%3D%20%5B%22a%22%2C%20%22b%22%5D%3B%0Aconst%20b%20%3D%20path(p%2C%20o)%3B

можно без p

это я так добавил)

вот так лучше https://www.typescriptlang.org/play/index.html#src=type%20OneLevel%20%3D%20%7B%0A%20%20%20%20%5Bkey%3A%20string%5D%3A%20any%3B%0A%7D%3B%0Atype%20TwoLevels%20%3D%20%7B%0A%20%20%20%20%5Bkey%3A%20string%5D%3A%20OneLevel%3B%0A%7D%3B%0Adeclare%20function%20path%3CO%20extends%20TwoLevels%2C%20T1%20extends%20keyof%20O%2C%20T2%20extends%20keyof%20O%5BT1%5D%3E(path%3A%20%5BT1%2C%20T2%5D%2C%20o%3A%20O)%3A%20O%5BT1%5D%5BT2%5D%3B%0Adeclare%20function%20path%3CO%2C%20T1%20extends%20keyof%20O%3E(path%3A%20%5BT1%5D%2C%20o%3A%20O)%3A%20O%5BT1%5D%3B%0A%0Aconst%20o%20%3D%20%7B%0A%20%20%20%20a%3A%20%7B%0A%20%20%20%20%20%20%20%20b%3A%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20c%3A%201%0A%20%20%20%20%20%20%20%20%7D%0A%20%20%20%20%7D%0A%7D%3B%0Aconst%20a%20%3D%20path(%5B%22a%22%5D%2C%20o)%3B%0Aconst%20b%20%3D%20path(%5B%22a%22%2C%20%22b%22%5D%2C%20o)%3B

Функция-Мюнхаузен

вот так лучше https://www.typescriptlang.org/play/index.html#src=type%20OneLevel%20%3D%20%7B%0A%20%20%20%20%5Bkey%3A%20string%5D%3A%20any%3B%0A%7D%3B%0Atype%20TwoLevels%20%3D%20%7B%0A%20%20%20%20%5Bkey%3A%20string%5D%3A%20OneLevel%3B%0A%7D%3B%0Adeclare%20function%20path%3CO%20extends%20TwoLevels%2C%20T1%20extends%20keyof%20O%2C%20T2%20extends%20keyof%20O%5BT1%5D%3E(path%3A%20%5BT1%2C%20T2%5D%2C%20o%3A%20O)%3A%20O%5BT1%5D%5BT2%5D%3B%0Adeclare%20function%20path%3CO%2C%20T1%20extends%20keyof%20O%3E(path%3A%20%5BT1%5D%2C%20o%3A%20O)%3A%20O%5BT1%5D%3B%0A%0Aconst%20o%20%3D%20%7B%0A%20%20%20%20a%3A%20%7B%0A%20%20%20%20%20%20%20%20b%3A%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20c%3A%201%0A%20%20%20%20%20%20%20%20%7D%0A%20%20%20%20%7D%0A%7D%3B%0Aconst%20a%20%3D%20path(%5B%22a%22%5D%2C%20o)%3B%0Aconst%20b%20%3D%20path(%5B%22a%22%2C%20%22b%22%5D%2C%20o)%3B

??

;)

т.е. с практической т.з. я вот думаю, что лучше: выкинуть из проекта вообще тайпинги для рамды или подкостыливать везде as any, пока подкостыливаю, но выглядит плохо

Перейти на pureScript

XD я посматриваю, пусть сначала сорсмапы и psc-package запилят, я слежу за ними

так на purescript так динамично ж тоже нельзя делать

Вот там уж точно рамда типизируется))

так на purescript так динамично ж тоже нельзя делать

Разве? ?

я плохо знаю purescript, но можешь показать мне аналог path?

"он там не нужен" не принимается

Покажу, как буду знать хотя бы просто плохо ?

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

В agda

а, ну может там еще, да

я мб не понимаю, там же такие ;же линзы

я просто не читал выше сек

purescript-lens https://github.com/paf31/purescript-lens-simple/blob/master/test/Main.purs https://github.com/purescript-contrib/purescript-lens/blob/master/test/Main.purs но я пока тоже ничего не знаю, только тыкаю, в основном учебник и pux

Допустим есть библиотека команд. Команда может выполнять другие команды. Команда выполняется посредством Выполнителя. Библиотека Команда1 Команда2 Команда2 Выполнитель(Команда1) то есть команда использует выполнитель для выполнения других команд Приложение результат = Выполнитель(Команда2) Команды в библиотеке, Выполнитель задается на уровне приложения. Вопрос - кто как бы организовал такое решение на ts?

функция просто?

ну я не акцентирую функция это или класс

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

буквальные варианты типа гони везде Выполнителя аргументом понятны

Если планируете что-то масштабное, то делайте сразу на свёртке графов)

Плюсы — никакой рекурсии

Минусы — угореть придётся по хардкору)

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

yield run(anotherCommand);

Я скажу больше, сам редакс — это и есть конечный автомат состояний

С командами

И "выполнителями")

Описанное сильно похоже на алгебраические эффекты

ну да, я про них

Весьма недурная концепция

Не уверен что это можно нормально типизировать в ТС

Ребят, а опубликовать тут тайпскриптовую вакансию, это ок?

Джобс же есть для этого

Стив?

Ну там жс

Ну там жс

Норм

Про создавать отдельный канал

Ещё coffeescript jobs

Ну там жс

а разница? о.о

ERROR: S client not available

Редакс это не конечный автомат

А у мну тайпа без реакта и вообще без дом, но про webgl. Ладно как напишу так запосчу там подробно а тут одной ссылочкой

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

Ну формально они определены заранее и дискретны

Почему не работает декларейшн мерджинг в данном случае? export interface Dict<T> { readonly [name: string]: T; } export interface Dict<T, TKey> { readonly [name: TKey]: T; }

Возможно ли мерджить декларации с разным числом дженериков?

Господа, вопрос. Имея AST тайп скрипта, можно ли назад сгенерировать typescript код?

теоретически можно, но он будет однострочный — без комментов, переводов строк и т.д.

теоретически можно, но он будет однострочный — без комментов, переводов строк и т.д.

какой-то дерьмовенький генератор кода

в этом плане babel намного лучше, ибо он может нормально отформатироваь всё дело

надо гуглить по поводу ts

я хочу пропробовать сконвертировать actionscript ast в typescript ast и вытащить тайповый код из него

я так рубевый код в babel6 ast конвертил

и как, доволен результатом?

было весело

на гх были проекты конвертации из as в ts, но там старый ts

может быть все равно проще взять их за основу

да и проекты по 3 года не апдейтятся. Естественно их изучить потребуется

и может взять за основу

хм, такой вопрос, вы пишете свои классы ошибок? class FooError extends Error

да

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

понял, я просто щас задумался в каких случаях я это делаю ну очевидно: 1) когда надо данные какие-то дополнительно хранить 2) как-то мб их форматировать, да 3) всякие вещи типа public static unsupportedContentType(contentType: string) { return new HttpClientError({ contentType }, 'Content type is not supported'); } ^ но про это я не уверен) ну и самое главное забыл: чтобы их ловить и понимать что это и отдельно обрабатывать ex instanceof FooError

ну всё правильно и нормально

по поводу генерации кода из ast вот что нашёл https://github.com/Microsoft/TypeScript/pull/11561

https://github.com/Microsoft/TypeScript/wiki/Roadmap Мда, не осилили они генераторы в es5 в 2.2

Перенесли в 2.3

охлол

Очередная победа "суперсета жс"

?

https://github.com/Microsoft/TypeScript/wiki/Roadmap Мда, не осилили они генераторы в es5 в 2.2

Это из-за async iterators?