/note/tech

型を活かしてテストやコメントを削減する

・型検査で検出できることを確認するテストは書かない

・独自の型で宣言的に制限できるていることを確認するテストは書かない

・独自の型で表現できることをコメントに書かない

・独自の型で記述で、測定可能な怪しげな個所を機械的に検出する

・独自の型を正しく記述し、読み直し、レビューする

@masuda220