それ「テストが仕様を正しく表現できているとは限らないんだから、テストでプログラムが堅牢になるという言説は疑わしい」と同じ構造では？
前半は確かにそのとおりだが、テストが常に誤っていて無意味なわけではないのだから、検査が加わることには価値があるし実世界でも確かに役に立っている
型が必ずしも仕様や意図を正確に表現できるわけではないが、常に誤っているわけでもないのだから、型で弾ける不整合を弾くことには実効性がある
コスパをどう評価するかはまた別の面倒な話ではあるけど。どっか漁れば研究があるんだろうなぁ