TypedDuck

English Read in English 日本語 日本語で読む

TypedDuckは、動的言語に向けた型・静的解析ツールのアンブレラです。動的言語では型は実行時に確かに存在しているのに、コードを書いている最中のエディタにはほとんど届きません。どのプロジェクトも狙いは同じで、すでに書いたコードから——注釈を足させることなく——実際のバグを見つけ出します。

プロジェクト

• Rigor

  開発中

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

  ドキュメント GitHub

• chibirigor

  公開中

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

  読む GitHub

共通する考え方

• 注釈の税金を取らない。 型は手で維持するシグネチャからではなく、コードが実際に生成する値から推論します。
• スタイルではなく実バグ。 取り上げるのは実行時に失敗していたはずの指摘——未定義メソッド、引数個数の誤り、証明可能なnilデリファレンス——だけです。
• 人にも機械にも読める。 英語と日本語のバイリンガルドキュメントと、機械可読な出力を後付けではなく最初から用意します。

まずはプロジェクトから。ブログで進捗を追ったり、TypedDuckについてを読んだりもできます。