Design: Правильная поддержка хвостового вызова

Да, правильные хвостовые вызовы будут поддерживаться, но, скорее всего, не в MVP. Это будет особенно полезно для функциональных языков, которые полагаются на гарантированную оптимизацию хвостового вызова. См. Обсуждения в №33 и №44. Вопрос о том, как он будет поддерживаться, все еще не решен, так как он требует экспериментов и измерений производительности.

Я посмотрел на № 33 и № 44, и № 45, похоже, тоже связаны. Но я скептически отношусь к тому, что правильный хвостовой вызов может быть достигнут с помощью любого механизма, основанного на анализе потока управления (независимо от того, поддерживается ли управление неснижаемым потоком или нет).

Как вы говорите, функциональные языки полагаются на гарантированную оптимизацию хвостовых вызовов, хотя такая терминология не одобряется, потому что она вызывает путаницу с видом совокупной стоимости владения, выполняемой компиляторами C / C ++ и т. Д., Где могут быть наложены различные ограничения на то, какие вызовы являются допустимыми. Поэтому вместо этого используется термин «правильные хвостовые вызовы». В языке с правильными хвостовыми вызовами любой вызов в хвостовой позиции требуется для освобождения памяти, занимаемой вызывающим кадром активации. Это включает в себя косвенные вызовы, отсюда и трудность анализа локального потока управления. Таким образом, компиляторы / среды выполнения функциональных языков обычно имеют явные операции хвостового вызова и соглашения о вызовах для их поддержки.

Замечательно, что вы открыты для идеи правильной поддержки хвостовых вызовов, и я понимаю, что эта проблема выходит за рамки MVP. Но вместо того, чтобы просто закрыть его, можно ли оставить его открытым, но с пометкой post-MVP / post-something / icebox, чтобы было ясно, что вопрос еще не решен?

К сожалению, я не хотел закрывать перед исправлением документации. Я открыл №190, чтобы решить эту проблему (и закрыть эту проблему). Мы переместили проблемы в текст проекта, так как это помогает новым читателям понять положение вещей, а не читать все состояние зарегистрированных проблем.