в общем случае нет, вон в таскбилдере так и пишут - не умеем в хвостовую рекурсию

В случае асинков даже это работает идеально

Вот значит как. Звучит интересно.
Хотя мне кажется именно хвостовую рекурсию можно оптимизировать отдельным методом билдера.

Хвостовая.

Ну, оно явно не оптимизируется компилятором или билдером так как нужно..

Почему ты так думаешь?

Система умирает от недостатка памяти. (Что собственно и ожидается от такого билдера).

Если чо в дебаге нету хвостовой рекурсии

По слухам

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

Оптимизация хвостовой рекурсии позволяет сохранить стек.

Наоборот. Она выбрасывает стек, а не сохраняет

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

Я про то, что не тратит. :)

Ты мемоизируешь граф вычислений в памяти. Как ты представляешь себе оптимизацию?

Выбрасывает стек фреймы. :)

Вот

В билдере скорее всего... Никак.. Во всякос случае даже с мутабельным стейтом в билдере я ничего не придумал.

Если только ручками с закосом под хвостовую рекурсию. Типа такой функции looped

Ок. Тут я совсем перестал понимать.

Это попытка оптимизировать описанный хвостово-рекурсивный алгоритм без компилятора.

Функция f, переданная в looped это условное "тело" хвостово-рекурсивной функции функции.
Если она возвращает Continue x, то f перевызывается с новыми аргументами x, а если Return y, то рекурсия заканчивается.
Все это можно развернуть в while, который перевызывает функцию с новыми аргументами пока она не вернет Return y.
По идее нечто подобное и делает компилятора.


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