Sapphire

Let this be legal syntax:

# Type variable => return Type
def fib(Integer n) => Integer
   ...
end

That would allow the interpreter to make certain optimizations. It could also be used by doc generators.

See http://headius.blogspot.com/2008/03/duby-type-inferred-ruby-like-jvm.html.