Rubyの型チェック入門 - Sorbetとtapiocaの基本知識