не знаю как тебе ответить)

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

охуенный ответ, спасибо

Що таке Trampoline?

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

const fn = trampoline(() => fn());

какой будет тип у fn и как ты будешь его всовывать в остальную часть проекта, если у него не будет информации о том, что он принимает и отдает

это одна из техник защититься от переполнения колстека

const fn = trampoline(() => fn());

наверно ж достаточно “пробросить” типы из функции которая передается в трамплин?

function trampoline<T>(fn: T): T

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

function trampoline<T>(fn: T): T

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

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

или я давно трамплин не писал, но это первое что в голову приходит

ну если без рекурсии, то да, трамплин это const trampoline = (fn: (…args: unknown[]) => T) => () => T как-то так

если не нужно явно описывать инпут функции, можно даже просто сделать trampoline<T extends Function>(fn: T): T

та вот как раз надо

мне нужно для fn = trampoline() чтобы у fn был тайпчек согласно трамплину

А есть где почитать?

да собственно, полно статей на эту тему - https://en.wikipedia.org/wiki/Trampoline_(computing)

> Continuation-passing style is a popular intermediate format for compilers of function languages, because many control flow constructs can be elegantly expressed and tail call optimization is easy. When compiling to a language without optimized tail calls, one can avoid stack growth via a technique called trampolining. The idea is to not make the final continuation call inside the function, but to exit and to return the continuation to a trampoline. That trampoline is simply a loop that invokes the returned continuations. Hence, there are no nested function calls and the stack won’t grow.

в вебшторме напиши трамплин и пример использования, потом Show context actions -> specify type explicitly и вебшторм сам тебе тип придумает

но мне сложно понять зачем ето, пример с добавлением чисел не дал ясности