契約プログラミングも、Adaが言うような文脈での「型ありき」も、明示的に記述された『約束してる部分』だけ見ればいいから読むの楽だし、コメントと違って人間もコンパイラも同じものを明示的な記述で読めるから素晴らしい＞＜