Project

General

Profile

Actions

Feature #16945

closed

Enable TCO by use of special form

Added by x3qt (Jury Paliakou) almost 4 years ago. Updated almost 3 years ago.

Status:
Closed
Assignee:
-
Target version:
-
[ruby-core:98703]

Description

I would like to propose to create some way to enable TCO in ruby by use of special form, like (recur)[https://clojure.org/reference/special_forms#recur].

AFAIK TCO is not enabled by default because it messes with stack traces, so by implementing some special form we will avoid changing default behavior and provide opportunity to use it at the same time.

Example:

def fact(n, acc = 1)
  return acc if n <= 1
  recur(n - 1, n * acc) # recursive call with TCO enabled
end

Related issues 1 (1 open0 closed)

Is duplicate of Ruby master - Feature #12543: explicit tail call syntax: foo() then returnAssignedmatz (Yukihiro Matsumoto)Actions
Actions #1

Updated by x3qt (Jury Paliakou) almost 4 years ago

  • Tracker changed from Bug to Feature
  • Backport deleted (2.5: UNKNOWN, 2.6: UNKNOWN, 2.7: UNKNOWN)
Actions #2

Updated by nobu (Nobuyoshi Nakada) almost 4 years ago

  • Is duplicate of Feature #12543: explicit tail call syntax: foo() then return added

Updated by nobu (Nobuyoshi Nakada) almost 4 years ago

We don't want to introduce a new reserved word only for this purpose.

Updated by shyouhei (Shyouhei Urabe) almost 4 years ago

Tell us how is it better than #12543, which is receiving negative feedbacks?

Updated by nobu (Nobuyoshi Nakada) almost 4 years ago

I thought that we had more discussions for tail-call syntax, but couldn't find others.

Updated by x3qt (Jury Paliakou) almost 4 years ago

shyouhei (Shyouhei Urabe) wrote in #note-4:

Tell us how is it better than #12543, which is receiving negative feedbacks?

foo() then return

Syntax proposed in #12543 does not look good to me, specifically because it is not a single word and using already existing constructions, so can be confusing because it is a special meaning.

Updated by jwmittag (Jörg W Mittag) almost 3 years ago

x3qt (Yury Polyakov) wrote in #note-6:

shyouhei (Shyouhei Urabe) wrote in #note-4:

Tell us how is it better than #12543, which is receiving negative feedbacks?

foo() then return

Syntax proposed in #12543 does not look good to me, specifically because it is not a single word and using already existing constructions, so can be confusing because it is a special meaning.

Adding a new reserved word is extremely expensive in the sense that it massively breaks backwards-compatibility. Every single piece of code everywhere in the world that every programmer has ever written that uses the identifier recur will be potentially broken by this change.

The code you proposed is perfectly legal today, which means that introducing your proposed change will change the meaning of existing code.

If you want to introduce a feature for adding new return semantics to methods you have to do it in a way which

  • does not introduce a new keyword or reserved word
  • does not change the meaning of existing code
  • ideally is currently not valid Ruby code
foo() then return

has the advantage that it only uses already existing reserved words and keywords and is currently illegal, so there cannot possibly be any existing code that gets broken.

Updated by nobu (Nobuyoshi Nakada) almost 3 years ago

  • Status changed from Open to Closed

Close due to duplication.

Actions

Also available in: Atom PDF

Like0
Like0Like0Like0Like0Like0Like0Like0Like0