/note/tech

型と型検査で済むことをテストコードで書くのはムダ

型と型検査で済むことをテストコードで書くのはムダ

型で表現していることをコメントやドキュメントに書くのはノイズ

型の定義内容を確認するためにいちいち検索するのは面倒

@masuda220

型で表現している

型で表現できている

@masuda220

型が適切に定義されていればビジネスロジックのテストに集中できるという話