Tyda

TydaType inference tool for lazy Rubyists

Infer useful types from Ruby without writing type annotations.

Try the Playground
Read the Documentation

  • Inference without annotations

    Explore useful types from Ruby and Rails code without annotating every method.

  • TypeProf-compatible editor experience

    Use CodeLens, hover, definition, and type definition support in the editor.

  • RBS and diagnostics

    Emit RBS and run supplementary type checks and diagnostics from the CLI.

⚠️ Note: Tyda has not reached v1.0.0 yet. Its API, CLI, language server, and inference behavior may change.