[TLI] 실용주의 프로그래머 - 4장 실용주의 편집증

오늘 TIL 3줄 요약

• 자기 자신의 코드를 옳다고 단정 짓지 말고 의심하여 나쁜 코드(에러 등을 일으킬 수 있는)를 막아야 한다. 
• DBC 계약에 의한 설계(Design By Contract)를 통해 프로그램의 정확성을 보장하자. 여기에는 선행 조건, 후행 조건, 그리고 클래스 불변식이 필요하다.

TIL (Today I Learned) 날짜

2022. 03. 25

 

오늘 읽은 범위

4장 실용주의 편집증

 

책에서 기억하고 싶은 내용을 써보세요.

• DBC의 선행 조건: 루틴이 호출되기 위해 참이어야 하는 것. 선행조건이 위반되는 경우 루틴이 호출되서는 안된다.
• DBC의 후행 조건: 루틴이 완료되었을 때의 상태이다. 무한 반복은 허용되지 않는다.
• DBC의 클래스 불변식: 조건이 언제나 참인 것을 클래스가 보장한다. 

 

오늘 읽은 소감은? 떠오르는 생각을 가볍게 적어보세요

• 이번 4장에서는 개발자는 방심하면 안된다라는 느낌을 받았다. 자신의 코드에 대한 과신이 프로그램의 어떤 후폭풍으로 작용할 지 알 수 없기 때문에 검증과 테스트를 통해 이를 방지해 나가야 한다.
• 성능에 부하가 걸릴 정도의 검증이라면 해당 부분만 잠시 해당 검증은 중지시켜놓자. 지혜롭게 코드를 짜고 프로그램 자체가 테스트를 할 수 있도록 설계하자. 그렇다고 미래에 대해 너무 걱정하여 불확실함에 대비하느라 진 빼지 말고 명확히 통제 가능한 경계선을 긋도록 하자..

 

궁금한 내용이 있거나, 잘 이해되지 않는 내용이 있다면 적어보세요.

• 엘릭서나 루비의 예문이 나오면 이해하기 어렵다.
• DBC가 정확히 어떻게 쓰이는지 모르겠다.