RubyKaigi2014 速報(4) - KeyNote: Coming soon... (Matz) - Akatsuki Hackers Lab | 株式会社アカツキ（Akatsuki Inc.)Ruby 3.0について 10年位の期間がかかるかもしれないが、考えてみよう ひとつはConcurrency、ひとつはJIT (LLVM?)、そしてStatic Typing Static typing 20世紀に生まれた言語の多くは、変数に型が無い 最近の言語: Scara, TypeScript, Dart, Goはスクリプト言語っぽい使われ方をされるものでも、静的な方を持っている 悔しいのでRubyでも静的型を考えたい Ruby Issue #9999: Type Annotations Python PEP:3107 に近い考え方 Pythonは型チェックしない。ドキュメント。型チェックするかどうかは処理系に任せる pypy という処理系ではチェックする また、Dartは型チェックしないモードもある 何をモチベーションにして static typing したいのか？ パフォーマンス
