Skip to content

Repository files navigation

RBS

RBS is a language to describe the structure of Ruby programs. You can write down the definition of a class or module: methods defined in the class, instance variables and their types, and inheritance/mix-in relations. It also allows declaring constants and global variables.

The following is a small example of RBS for a chat app.

moduleChatApp
VERSION: String
classUserattr_reader login: String
attr_reader email: String
def initialize: (login: String, email: String) -> voidendclassBotattr_reader name: String
attr_reader email: String
attr_reader owner: User
def initialize: (name: String, owner: User) -> voidendclassMessageattr_reader id: String
attr_reader string: String
attr_reader from: User | Bot # `|` means union types: `#from` can be `User` or `Bot`attr_reader reply_to: Message? # `?` means optional type: `#reply_to` can be `nil`def initialize: (from: User | Bot, string: String) -> voiddef reply: (from: User | Bot, string: String) -> Message
endclassChannelattr_reader name: String
attr_reader messages: Array[Message]
attr_reader users: Array[User]
attr_reader bots: Array[Bot]
def initialize: (name: String) -> voiddef each_member: () { (User | Bot) -> void } -> void# `{` and `}` means block.
| () -> Enumerator[User | Bot, void] # Method can be overloaded.endend

The Target Version

Installation

Install the rbs gem. $ gem install rbs from the command line, or add a line in your Gemfile.

gem"rbs"

CLI

The gem ships with the rbs command line tool to demonstrate what it can do and help develop RBS.

$ rbs version
$ rbs list
$ rbs ancestors ::Object
$ rbs methods ::Object
$ rbs method Object then

An end user of rbs will probably find rbs prototype the most useful. This command generates boilerplate signature declarations for ruby files. For example, say you have written the below ruby script.

# person.rbclassPersonattr_reader:nameattr_reader:contactsdefinitialize(name:)@name=name@contacts=[]enddefspeak"I'm #{@name} and I love Ruby!"endend

Running prototype on the above will automatically generate

$ rbs prototype rb person.rbclass Person @name: untyped @contacts: untyped attr_reader name: untyped attr_reader contacts: untyped def initialize: (name: untyped) -> void def speak: () -> ::Stringend

It prints signatures for all methods, classes, instance variables, and constants. This is only a starting point, and you should edit the output to match your signature more accurately.

rbs prototype offers three options.

  • rb generates from just the available Ruby code
  • rbi generates from Sorbet RBI
  • runtime generates from runtime API (deprecated; see #2841)

Library

There are two important concepts, environment and definition.

An environment is a dictionary that keeps track of all declarations. What is the declaration associated with String class? An environment will give you the answer.

A definition gives you the detail of the class. What is the type of the return value of gsub method of the String class? The definition for String class knows the list of methods it provides and their types.

The following is a small code to retrieve the definition of the String#gsub method.

require"rbs"loader=RBS::EnvironmentLoader.new()# loader.add(path: Pathname("sig")) # Load .rbs files from `sig` directory# loader.add(library: "logger") # Load logger libraryenvironment=RBS::Environment.from_loader(loader).resolve_type_names# ::Stringstring=RBS::TypeName.new(name: :String,namespace: RBS::Namespace.root)# Class declaration for ::Stringdecl=environment.class_decls[string]# Builder provides the translation from `declaration` to `definition`builder=RBS::DefinitionBuilder.new(env: environment)# Definition of instance of Stringinstance=builder.build_instance(string)# Print the types of `gsub` method:putsinstance.methods[:gsub].method_types.join("\n")# Outputs =># (::Regexp | ::string pattern, ::string replacement) -> ::String# (::Regexp | ::string pattern, ::Hash[::String, ::String] hash) -> ::String# (::Regexp | ::string pattern) { (::String match) -> ::_ToS } -> ::String# (::Regexp | ::string pattern) -> ::Enumerator[::String, self]# Definition of singleton of Stringsingleton=builder.build_singleton(string)# No `gsub` method for String singletonputssingleton.methods[:gsub]

Guides

Community

Here is a list of some places you can talk with active maintainers.

Development

After checking out the repo, run bin/setup to install dependencies. Then, run bundle exec rake test to run the tests. You can also run bin/console for an interactive prompt that will allow you to experiment.

To install this gem onto your local machine, run bundle exec rake install. Releases are cut by the Release gems workflow rather than from a working copy -- see docs/release.md.

C Code Formatting

This project uses clang-format to enforce consistent formatting of C code with a .clang-format configuration in the root directory.

Setup

First, install clang-format:

# macOS
brew install clang-format
# Ubuntu/Debian
sudo apt-get install clang-format
# Windows
choco install llvm

Usage

Format all C source files:

rake format:c

Check formatting without making changes:

rake format:c_check

Editor Integration

For VS Code users, install the "clangd" extension which will automatically use the project's .clang-format file.

Contributing

Bug reports and pull requests are welcome on GitHub at https://github.com/ruby/rbs.

About

The type signature language for Ruby

Topics

Resources

Contributing

Stars

2.2k stars

Watchers

59 watching

Forks

Releases

Used by

Contributors

Languages