Type Checking Ruby Programs with Anntations - soutaroブログ

RubyKaigi 2017で話す内容です。 当日使ったスライドを公開します。 Type Checking Ruby Programs with Annotations // Speaker Deck 多すぎて飛ばした分も入っています。全体の内容としては、この記事を読めばほとんどそれで良いんじゃないかと思います。 さて、まずは「Rubyプログラムを型検査する」とはどういうことなのかを考えましょう。ご存じの通り、Rubyというのはすでに型安全な言語です。この場合に、型検査をしてなにをしたいのかは、いまいち自明ではありません。 型安全性とは「型検査をパスしたプログラムを実行しても、未定義の状態にならない」という性質です。Rubyのような型なしの言語を考える場合には「常に成功する型検査をする」と考えます。Rubyは、Cなどと違って、実行中に未定義の状態になることはありません。配列の範囲外にアクセ

[sh19910711]

2017 / "実行せずに型検査しようとするから難しくなるのであって、実行しながら型検査すれば良いのではないか / Fosterさんのチームは、実行せずに型検査する戦略にさっさと見切りを付けて、ずっとこれをやっています"

[labocho]

型 steep