[Clean Architecture] 4장 구조적 프로그래밍

증명

데이크스트는 수학적으로 증명하려고 했다. 세가지 방법을 이용해서 증명하려고 했는데,

1. 순차 구문 (열거법)
2. 분기
3. 반복 - 귀납법 사용

이 세 개를 이용해서 프로그래밍을 유클리드 계층구조로 만들려고 했다.

해로운 증명서

goto문의 해로움을 알렸다.

그러면서 프로그래밍 성장을 이뤘다. goto문은 실제로 해로웠고, 지금 현 시점에서 goto문을 쓰는 경우가 없거나 드물어 졌다.

기능적 분해

더 작은 단위로 재귀적으로 나눠야한다.

엄밀한 증명은 없었다

증명은 이루어지지 않았다. 프로그래밍은 수학적인 접근보다 과학적으로 접근해야되는 것처럼 보인다.

과학이 구출하다

과학은 사실임을 증명하는 것이 아니라 서술이 틀렸음을 증명해야한다.

테스트

테스트는 버그가 있음을 보여줄 뿐, 버그가 없음을 보여줄 수는 없다.

거짓을 증명하려는 테스트가 실패한다면, 이 기능들은 목표에 부합할 만큼은 충분히 참.