差分

たとえば、ある[[サブルーチン]]のに[[引数]]があるとして、があるとして、その引数が[[ぬるぽ]]や[[ぬるり]]を防ぐために引数のになることを防ぐためにサブルーチンの先頭部分で[[nullチェック]]や[[境界チェック]]を行う、などという[[コーディング規約]]に近いものを、[[プログラミング言語]]の[[仕様]]として半ば強制することで、[[静的コード解析]]やドキュメント生成、[[単体テスト]]（のテンプレート生成）などを的確かつ効率的に行えるようにし、[[プログラム]]の品質を向上させようというものである。