хвостато-рекурсивные функции в монадах

[lomeo]

Когда мы пишем монадическую функцию с хвостовой рекурсией, то явно эта функция не хвостато-рекурсивная:

loop = do
cmd <- getLine
if (cmd == ":q")
then return ()
else loop

Comments

[rvp74]

Может стоит вопрос поставить иначе: возможен ли тут memory leak?

[lomeo]

Без проблем, давай так вопрос поставим :-)
Возможен тут меморилик? Нет? Почему нет?

[rvp74]

считай что оператор (>>=) конструирует замыкание, которое когда будет запущенно сначала вызывает левую часть. Потом вызывает правую часть, которая просто возвратит новое замыкание. И дальше управление будет передано ему. Это и будет хвостовая рекурсия, поскольку возвращается тот же объект-замыкание

[rvp74]

Мой тебе совет. Возьми ocaml или lisp и реализуй свой монаду. Эти вопросы исчезнуть.
У меня монада была реализована как замыкание. Насколько я помню IO реализованна так же.

[thesz]

Обычно советуют инлайнить >>= и return.

Поэтому проблем не возникает. Обычно. ;)

[lomeo]

Где советуют? Я найти не могу просто, потому и спрашивал.

[thesz]

Советуют в главе GHC User's Guide про оптимизацию программ - Quicker, faster, smaller. В районе прагмы inline.

[rvp74]

инлайнить не обязательно. Так как утечки и так не будет

[rvp74]

http://rvp74.livejournal.com/31500.html
Я добавил там кое-что по мотивам этого треда. ;)

[lomeo]

Ага, вижу :-)