プログラムの仕様というものを、「コードがするすべてを表現する文書」と捉えると意味がなくなる。そんなもの読むよりコードを読んだ方がよい。そうではなく、契約、あるいは責任の分界点を表現すると考えれば、意味がある。…

— 杉本啓 (@sugimoto_kei) July 14, 2024