TypeProf: A type analysis tool for Ruby code based on abstract interpretation

Synopsis

gem install typeprof
typeprof app.rb

# test.rb
def foo(x)
  if x > 10
    x.to_s
  else
    nil
  end
end

foo(42)

$ typeprof test.rb
# Classes
class Object
  def foo : (Integer) -> String?
end

You can try typeprof gem on the Web via the URL below.