TypedDuck builds type-driven, static-analysis tooling for dynamic languages — starting with Rigor, a Ruby static analyzer.https://www.typedduck.fail/jahttps://www.typedduck.fail/ja/blog/hello-typedduck/https://www.typedduck.fail/ja/blog/hello-typedduck/このアンブレラがなぜ存在するのか、ブログで何を扱うのか。 Thu, 25 Jun 2026 00:00:00 GMT<p>TypedDuckブログの最初の記事です。</p> <p>TypedDuckは、ひとつのプロジェクト——Ruby静的解析器の<a href="https://rigor.typedduck.fail/">Rigor</a>——から始まり、二つめとしてオンライン書籍の<a href="https://rigor.typedduck.fail/chibirigor/">chibirigor</a>が育ちました。両者が共有しているのはコードベースというより世界観です。動的言語では型は実行時にすでにそこにあり、仕事はそれをリリース後ではなく書いている最中に表に出すことだ、という見方です。</p> <p>このサイトはそれらのプロジェクトを束ねるアンブレラであり、このブログは、どれか一つのプロジェクトのドキュメントには収まらないメモ——設計判断、リリースノート、ときどき型理論への寄り道——を置く場所です。記事は英語と日本語の両方で書きます。</p> <p>続きはまた近いうちに。</p>meta