Я знаю, что на этой печально известной постВыполняет ли в runtime время выполнения оптимизации хвостового вызова, как того требует спецификация IL?
http://flyingfrogblog.blogspot.com/2009/01/mono-does-not-support-tail-calls.html
моно выполнение не предлагает устранение хвостовых в соответствии с требованиями IL. С того времени это изменилось?
Нет, еще нет. Тем не менее, есть некоторые незавершенные работы по добавлению: http://www.mail-archive.com/[email protected]/msg24438.html (желаю удачи ;-)).
Удачи вам в магистерской диссертации. Переписывание вызывающего соглашения в рамках тезисов кажется очень амбициозной работой. Возможно, этого достаточно, чтобы улучшить интеграцию LLVM, которая уже выполняет «правильные хвосты»? – JohnDoe
LLVM, к сожалению, слишком медленный для коротких программ, и в настоящее время он вряд ли станет стандартным. – skolima
Должно быть просто попробовать это. Согласно комментариям на этой странице не должно быть проблем с Mono. –
Не желаю устанавливать моно и clobber мою систему. Я думаю о том, чтобы дать F # попробовать Linux, но будет делать это только при правильной поддержке. Я не нашел никаких утвердительных заявлений в списке рассылки или блоге, которые он должен словом. – JohnDoe