MK
Ага
Size: a a a
2021 January 02
MK
Попробовал мои флаги?
YS
кстати нет, я пока просто с ddump-stg-final пробовал
YS
сейчас попробую
YS
ого, сильно читаемее, спасибо!
YS
Ну как я понял, там разница формальная. Т.е., если бы
x затесался бы куда-нибудь в тело fib, в случае первого примера - то никак не смогли бы в топ левел fib поднять, и поэтому не создавались бы замыкания "глобальные" (в том смысле чтобы рекурсивные обращения foo могли бы их переиспользовать)YS
т.е. код одинаковый, но лифтинга на топ левел нет чисто формально .-.
к
Ну как я понял, там разница формальная. Т.е., если бы
x затесался бы куда-нибудь в тело fib, в случае первого примера - то никак не смогли бы в топ левел fib поднять, и поэтому не создавались бы замыкания "глобальные" (в том смысле чтобы рекурсивные обращения foo могли бы их переиспользовать)хм, а почему не смогли бы?
YS
хм, а почему не смогли бы?
почему не смогли бы вынести на топлевел?
YS
ну вот там же меняется сигнатура, я правильно понимаю?
YS
чтобы переменные были связанными
YS
ну вот мне кажется, это и мешает .-.
YS
хотя наверное можно и так сделать
YS
просто во втором случае ничего такого не придётся делать
YS
YS
ну это так, мысли вслух
YS
я ничего не знаю об этом(