Does Ruby perform Tail Call Optimization?

by

No, Ruby doesn’t perform TCO. However, it also doesn’t not perform TCO.

The Ruby Language Specification doesn’t say anything about TCO. It doesn’t say you have to do it, but it also doesn’t say you can’t do it. You just can’t rely on it.

This is unlike Scheme, where the Language Specification requires that all Implementations must perform TCO. But it is also unlike Python, where Guido van Rossum has made it very clear on multiple occasions (the last time just a couple of days ago) that Python Implementations should not perform TCO.

Yukihiro Matsumoto is sympathetic to TCO, he just doesn’t want to force all Implementations to support it. Unfortunately, this means that you cannot rely on TCO, or if you do, your code will no longer be portable to other Ruby Implementations.

So, some Ruby Implementations perform TCO, but most don’t. YARV, for example, supports TCO, although (for the moment) you have to explicitly uncomment a line in the source code and recompile the VM, to activate TCO – in future versions it is going to be on by default, after the implementation proves stable. The Parrot Virtual Machine supports TCO natively, therefore Cardinal could quite easily support it, too. The CLR has some support for TCO, which means that IronRuby and Ruby.NET could probably do it. Rubinius could probably do it, too.

But JRuby and XRuby don’t support TCO, and they probably won’t, unless the JVM itself gains support for TCO. The problem is this: if you want to have a fast implementation, and fast and seamless integration with Java, then you should be stack-compatible with Java and use the JVM’s stack as much as possible. You can quite easily implement TCO with trampolines or explicit continuation-passing style, but then you are no longer using the JVM stack, which means that everytime you want to call into Java or call from Java into Ruby, you have to perform some kind of conversion, which is slow. So, XRuby and JRuby chose to go with speed and Java integration over TCO and continuations (which basically have the same problem).

This applies to all implementations of Ruby that want to tightly integrate with some host platform that doesn’t support TCO natively. For example, I guess MacRuby is going to have the same problem.

More Related Contents:

  1. Ruby’s yield feature in relation to computer science
  2. Functional code examples in ruby
  3. The authorization mechanism you have provided is not supported. Please use AWS4-HMAC-SHA256
  4. Can’t install gems on OS X “El Capitan”
  5. How to test if a string is basically an integer in quotes using Ruby
  6. How can I track system-specific config files in a repo/project?
  7. What’s the difference between Ruby’s dup and clone methods?
  8. Converting a nested hash into a flat hash
  9. Optional argument after splat argument
  10. Gem installation error: You have to install development tools first (Windows)
  11. Nokogiri/Xpath namespace query
  12. You have already activated X, but your Gemfile requires Y
  13. cannot load such file — script/rails : Getting this error while remote debugging through RubyMine
  14. How can I have ruby logger log output to stdout as well as file?
  15. What’s the difference between a string and a symbol in Ruby?
  16. Finding the cause of a memory leak in Ruby
  17. Operator precedence for And/&& in Ruby [duplicate]
  18. How to avoid “cannot load such file — utils/popen” from homebrew on OSX
  19. Can you ask ruby to treat warnings as errors?
  20. How to chunk an array in Ruby
  21. How to read lines of a file in Ruby
  22. How do I redirect stderr and stdout to file for a Ruby script?
  23. Convert array of 2-element arrays into a hash, where duplicate keys append additional values
  24. Ruby: Can I write multi-line string with no concatenation?
  25. How to preserve request url with nginx proxy_pass
  26. Ruby RVM apt-get update error
  27. How to install command line tools on OSX Mavericks
  28. Ruby dependency injection libraries
  29. Method and variable name is the same
  30. Combine two Arrays into Hash

Leave a Comment