Rubyの静的型検査を利用した開発手法の現状まとめ