SorbetView

Sorbet type-checking for Rails view templates (ERB). Extracts Ruby code from templates, generates typed Ruby files, and provides LSP support for editor integration.

• Type-check Ruby code inside ERB templates with Sorbet
• LSP proxy server for hover, completion, go-to-definition in .erb files
• ViewComponent erb_template heredoc support
• Source mapping between templates and generated Ruby for accurate error reporting
• Tapioca DSL compiler for helper method RBI generation

Add to your Gemfile:

gem 'sorbet_view'

Then run:

bundle install

Generate a config file:

bundle exec sv init

This creates .sorbet_view.yml:

input_dirs:
  - app/views

exclude_paths: []

output_dir: sorbet/templates

extra_includes: []

skip_missing_locals: true

bundle exec sv compile

bundle exec sv tc

Pass extra arguments to Sorbet after --:

bundle exec sv tc -- --error-url-base=https://srb.help/

bundle exec sv lsp

Used by the VSCode extension for editor integration.

bundle exec sv clean

Use magic comments to declare partial locals and their types:

<%# locals: (user:, admin: false) %>
<%# locals_sig: sig { params(user: User, admin: T::Boolean).void } %>

<h1><%= user.name %></h1>
<% if admin %>
  <p>Admin</p>
<% end %>

Add component_dirs to your config:

component_dirs:
  - app/components

Components using erb_template heredocs are automatically detected and compiled.

SorbetView includes a Tapioca DSL compiler that generates RBI files for controller helper methods. Run:

bundle exec tapioca dsl

• Ruby >= 3.2
• Sorbet
• herb (for fast ERB parsing)

MIT License. See LICENSE for details.