型
考えかた
値の集合だよ
値の制約を表現したものだよ
利点
テストの代わりになる
テストと違って、漏れることはない
資料たち
Type on Rails - Railsアプリケーションの安全性と開発体験を型で革新する - Speaker Deck