「型チェックが5分でできます」

型チェックに5分もかけて良かったのか!?

5分かけていいんなら、Rubyでもかなり行けるぜ。たぶん。