Трамплины.
Еще два года назад я хотел написать про трамплины для “перепрыгивания” глубины стека в рекурсивных вычислениях на чистых функциях, но ни времени, не ума на это не хватило.
Поделюсь сейчас просто своими заметками и продублирую ссылки на ишье к ТС в котором применяются трамплины для обхода небольшой глубины рекурсии системы типов: TypeScripts Type System is Turing Complete, и неплохую статью с детальным разбором темы: Using trampolines to manage large recursive loops in JavaScript.
P.S. в недописанной статье я хотел сперва разобрать зачем вообще нужны вычисления на типах и сделал простенький, но полезный пример с тайп-сейф функцией нормализации. Там наглядно видно какие ошибки она помогает ловить, при этом помогая писать меньше тайп анотаций.
#fp #ts
Еще два года назад я хотел написать про трамплины для “перепрыгивания” глубины стека в рекурсивных вычислениях на чистых функциях, но ни времени, не ума на это не хватило.
Поделюсь сейчас просто своими заметками и продублирую ссылки на ишье к ТС в котором применяются трамплины для обхода небольшой глубины рекурсии системы типов: TypeScripts Type System is Turing Complete, и неплохую статью с детальным разбором темы: Using trampolines to manage large recursive loops in JavaScript.
P.S. в недописанной статье я хотел сперва разобрать зачем вообще нужны вычисления на типах и сделал простенький, но полезный пример с тайп-сейф функцией нормализации. Там наглядно видно какие ошибки она помогает ловить, при этом помогая писать меньше тайп анотаций.
#fp #ts