そうか、構文チェックも
一種の「テスト」と考えればいいんだね。

型を明記するっていうのは、
こういう型でなければならないというテスト

引数を明記するのは
こういう引数でなければならないというテスト

そうか、これもテストなんだ。