型システムはデータ変換や多様性を正確に表現できる - koushisa

型システムはデータ変換や多様性を正確に表現できる

#型 #多様性 #ポリモーフィズム

from ソフトウェアの意味論を型システムが表現している限り、テストは書かなくても良い

型システムはデータ変換や多様性を正確に表現できる