型システムはデータ変換や多様性を正確に表現できる
#型
#多様性
#ポリモーフィズム
from
ソフトウェアの意味論を型システムが表現している限り、テストは書かなくても良い
型システムはデータ変換や多様性を正確に表現できる