VL
и есть у меня какое то смутное впечатление, что сюда можно вычисляемые выражения впихнуть вместо такой сложной конструкции. правильно мыслю?
Size: a a a
2021 January 05
I
вычисляемые выражения насколько я знаю не могут быть tail-call оптимизированы
AH
да, это сам принцип хвостовой рекурсии. он понятен. мне не понятна вот эта часть.
sizeCont treeLeft (fun leftSize ->
sizeCont treeRight (fun rightSize ->
cont (leftSize + rightSize))
то есть эта конструкция вычисляет аргумент, который передается в след кадр.
sizeCont treeLeft (fun leftSize ->
sizeCont treeRight (fun rightSize ->
cont (leftSize + rightSize))
то есть эта конструкция вычисляет аргумент, который передается в след кадр.
ну смотри, мы рекурсивно (в последней позициии) вычисляем длину левого сабдерева, и передаем туда континуейшн
рекурсия здесь хвостовая
В континуейшнее мы довычисляем правое сабдерево и передаем континуейшн чтобы вычислить окончательно сумму длин левого и правого сабдерева
рекурсия здесь хвостовая
В континуейшнее мы довычисляем правое сабдерево и передаем континуейшн чтобы вычислить окончательно сумму длин левого и правого сабдерева
I
слишком сложно и много кода под капотом
AH
это все будет оптимизировано с тейлколами
O
вычисляемые выражения насколько я знаю не могут быть tail-call оптимизированы
разве на них нельзя использовать монаду Cont?
VL
ну смотри, мы рекурсивно (в последней позициии) вычисляем длину левого сабдерева, и передаем туда континуейшн
рекурсия здесь хвостовая
В континуейшнее мы довычисляем правое сабдерево и передаем континуейшн чтобы вычислить окончательно сумму длин левого и правого сабдерева
рекурсия здесь хвостовая
В континуейшнее мы довычисляем правое сабдерево и передаем континуейшн чтобы вычислить окончательно сумму длин левого и правого сабдерева
спасибо. смутно начинаю понимать. я бы в жизни не догадался такую конструкцию слепить
VL
но под дебагом нужно будет погонять
I
разве на них нельзя использовать монаду Cont?
Хз.
AH
но под дебагом нужно будет погонять
в дебаге если чо тейл колл оптимизации не работают
AH
но это и неважно
I
Ну если лист не бесконечный, то не беда
AH
ну да
VL
а зачем тут вообще cont? эта функция возвращает то, что ей передают. без нее не будет работать? если просто использовать
вместо
cont (leftSize + rightSize)
просто
(leftSize + rightSize)
вместо
cont (leftSize + rightSize)
просто
(leftSize + rightSize)
AH
а зачем тут вообще cont? эта функция возвращает то, что ей передают. без нее не будет работать? если просто использовать
вместо
cont (leftSize + rightSize)
просто
(leftSize + rightSize)
вместо
cont (leftSize + rightSize)
просто
(leftSize + rightSize)
так там 3 континуейшна
VL
а, точно
AH
первый
fun leftSize ->
sizeCont treeRight (fun rightSize -> ... )
второй
fun rightSize ->
cont (leftSize + rightSize))
третий
(fun x -> x)
fun leftSize ->
sizeCont treeRight (fun rightSize -> ... )
второй
fun rightSize ->
cont (leftSize + rightSize))
третий
(fun x -> x)
I
Что-то потерял @gsomix 'а
I