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.

Name		Name	Last commit message	Last commit date
Latest commit History 1,002 Commits
.github		.github
doc		doc
exe		exe
lib		lib
smoke		smoke
test/typeprof		test/typeprof
testbed		testbed
tools		tools
.gitignore		.gitignore
Gemfile		Gemfile
Gemfile.lock		Gemfile.lock
LICENSE		LICENSE
README.md		README.md
Rakefile		Rakefile
typeprof-lsp		typeprof-lsp
typeprof.gemspec		typeprof.gemspec