Вт
я пробовал так но пока не идет
type StrLen<S extends string> = S extends { length: infer A } ? A : 'dunno'Size: a a a
2021 March 27
EO
А в чем ограничение заключается? У тебя параметр fn не типизирован, но при этом ты его дальше вызываешь как функцию. То же самое с arg.
Добавляешь им типов и дальше всё выводится само без проблем.
Добавляешь им типов и дальше всё выводится само без проблем.
EO
или может сразу подскажи как посчитать string length в типах
EO
я пробовал так но пока не идет
type StrLen<S extends string> = S extends { length: infer A } ? A : 'dunno'у тебя тип string unbounded, его length всегда будет number, а не конкретная длина
Вт
В точности оно, я тоже думал массив юзнуть но сил не было после работы думать)
Вт
Попробуй вывести substring еще
Вт
в интернете есть решение для слайса начала строки первых 32 символов
EO
Попробуй вывести substring еще
М?
Вт
type Substr<S extends string, F extends number, T extends number>
Substr<‘abc’, 0, 2> = ‘ab’
Substr<‘abc’, 0, 2> = ‘ab’
EO
type Substr<S extends string, F extends number, T extends number>
Substr<‘abc’, 0, 2> = ‘ab’
Substr<‘abc’, 0, 2> = ‘ab’
Не решал, но можно
EO
Рекурсия нужна, кортеж в качестве аккумулятора и в принципе придумать можно как сделать
AR
А в чем ограничение заключается? У тебя параметр fn не типизирован, но при этом ты его дальше вызываешь как функцию. То же самое с arg.
Добавляешь им типов и дальше всё выводится само без проблем.
Добавляешь им типов и дальше всё выводится само без проблем.
Ограничение в том что в этом коде флоу и хегель сами могут тип вывести)
AR
Возможно ты слишком давно на тайпскрипте и не видишь очевидного, я хз
EO
Ограничение в том что в этом коде флоу и хегель сами могут тип вывести)
я в основном пишу на расте, тайпскрипте, С (включая хобби проекты)
EO
там такое не канает, у тебя неполная сигнатура
EO
ты говоришь что вот функция принимает два параметра, потом делаешь вызов первого параметра
EO
если эту часть вывести неявно по тому как используют, то это может быть ошибочно, разработчики часто ошибаются
EO
просто взять и сказать что вот этот параметр функция, потому что её тут пытаются вызвать - это может быть поспешный вывод
AR
Ты серьёзно? Тут же очевидный кусок кода