プロジェクト

TypedDuckが公開しているものと、そのドキュメント・ソースへのリンクです。

• Rigor

  開発中

  Rubyソースに型注釈を書かなくても、フローに応じた実用的な型フィードバックを返す静的解析器。

  ドキュメント GitHub

• chibirigor

  公開中

  ちいさな型チェッカーを一歩ずつ作る、ゼロからのオンライン書籍。Rigorの考え方への入り口。

  読む GitHub

Rigor

Rigorは、普通のRubyに対してrigor checkを実行し、型付きレシーバーへの未定義メソッド呼び出し、引数個数の誤り、証明可能なnilデリファレンスといった実際のバグを報告します。ソースに型注釈を書く必要はなく、型はすべてコードが実際に生成する値から推論されます。

• ドキュメント: rigor.typedduck.fail
• ソース: github.com/rigortype/rigor

chibirigor

chibirigorは、ちいさな型チェッカーをゼロから一歩ずつ作っていくオンライン書籍です。Rigorの背後にある考え方への、やさしい入り口になっています——Rigor自体を動かさなくても役に立ちます。

• 読む: rigor.typedduck.fail/chibirigor
• ソース: github.com/rigortype/chibirigor