삶은달걀노른자

■ 9장 LSP: 리스코프 치환 원칙 Liskov Substitution Principle ​ 리스코프는 사람 이름이다. ( Barbara Liskov ) 바바라 리스코프 - 위키백과, 우리 모두의 백과사전 위키백과, 우리 모두의 백과사전. ko.wikipedia.org 리스코프 치환 원칙이란, 자료형 S가 자료형 T의 하위형이라면, 프로그램에서 자료형 T의 객체는 프로그램의 속성을 변경하지 않고 자료형 S의 객체로 교체할 수 있어야 한다는 뜻이다. ​ ​ 위 설계는 LSP를 준수하는데, Billing 어플리케이션의 행위가 License 하위 타입 중 무엇을 사용해도 전혀 상관없기 때문이다. 즉, 의존성이 없다. 이들 하위 타입은 모두 License 타입을 대체할 수 있다. ​ ​ ​

■ 6장 함수형 프로그래밍 Functional Programming ​ 함수형 프로그래밍은 사실 프로그래밍 그 자체보다 앞서 등장했다. 이 패러다임의 핵심은 람다 lamda 계산법으로서 알론조 처치 Alonzo Church 가 1930년대에 발명했다. ​ 함수형 언어에서는 변수가 변경되지 않는다. 변수의 불변성이 중요한 이유는 바로 경합조건 race condition, 교착상태 deadlock, 동시 업데이트 concurrent update 문제가 모두 가변변수로부터 발생하기 때문이다. 아키텍트는 당연히 이러한 동시성 concurrency 문제에 관심을 가져야 한다. ​ 서비스를 가변 mutable 컴포넌트와 불변 immutable 컴포넌트로 분리하여 어느정도 이 문제를 해결할 수 있다. 또한 이벤트 소..

■ 5장 객체지향 프로그래밍 Object-Oriented Programming ​ OO의 본질을 설명하기 위해 3가지 특성을 살펴보자. ​ 1. 캡슐화 사실 캡슐화는 C 언어에서 완벽하게 구현되었었고 오히려 C++에서 완벽한 캡슐화가 깨지게 되었다. 클래스의 멤버변수를 클래스 헤더 부분에 선언하도록 함으로써 해당 헤더파일(xxxx.h 같은)을 사용하는 측에서 멤버변수의 존재를 알 수 있기 때문이다. 따라서 OO가 강력한 캡슐화에 의존한다는 정의는 받아들이기 어렵다. ​ 2. 상속 OO 언어가 있기 전에도 상속을 흉내낼 수는 있었지만 OO 언어에서 확실히 상속을 편리하게 만든 건 사실이다. 게다가 다중 상속은 기존에 훨씬 어려웠다. 그래서 OO에 있어 캡슐화에 대해서는 0점, 상속에 대해서는 0.5점을 주..

■ 4장 구조적 프로그래밍 Structured Programming 네덜란드 태생의 데이크스트라 Edsger Wybe Dijkstra 는 1950~60년대에 goto 문장의 폐단과 반대로 goto의 좋은 사용 방식이 if/then/else, do/while과 같은 분기와 반복이라는 단순한 제어 구조에 해당한다는 사실을 발견했다. 또한 이 시기에 모든 프로그램은 순차, 분기, 반복 이라는 세 가지 구조만으로 표현할 수 있다는 것이 사실로 증명되었다. 구조적 프로그래밍이 현재까지 가치있는 것은 프로그래밍에서 반증 가능한 단위를 만들어 낼 수 있는 능력 때문이다. 현대 언어가 아무 제약없는 goto 문을 지원하지 않는 이유이기도 하다. 또한 아키텍처 관점에서는 기능적 분해를 최고의 실천법 중 하나로 여기는 이..