- static typed language가 dynamic typed language에 비해 더 안전하다는 주장에 대한 반박
협력적 멀티태스크
선점적 멀티태스크 - 일정 시간에 교대한다
경합 상태의 3가지 조건
공유하지 않는다 - 프로세스와 액터 모델
변경하지 않는다 - const, val, Immutable
끼어들지 않는다
10.5 락의 문제점과 해결책
트랜잭션 메모리 (Transactional memory)
Alan Kay '객체 지향'이란 용어에 대해 질문을 받은 그는
'형에 반대하지는 않지만, 고생하지 않는 형 시스템을 본적이 없다'
'Simula의 상속 방법은 좋지 않다'
'객체 지향이란 상태를 가진 객체가 메시지를 주고 받아서 커뮤니케이션하는 프로그램이다'
형이나 상속에 대한 부정적인 입장
클래스란?
클로저
함수를 함수 안에 정의하고,내포할 수 있는 정적 스코프가 있어서 함수를 반환값으로 사용하거나 변수에 대입하여 사용한다는 개념
어떤 standard ML 학습서. 자유 변수를 포함한 식을 '열린 식'이라고 부르고, 그 자유 변수의 바인딩을 조합함으로 해당 식을 닫고 있기 때문
사람의 인지 능력에 한계가 있기 때문에 영향 범위가 너무 크면 이해할 수 없게 된다. 영향 범위가 작은 쪽이 이해하기 편하다.
리스코프의 치환 원칙
클래스 상속과 형 구조의 정합성을 유지하기가 얼마나 어려운지
해결책 1: 다중 상속을 금지한다
위임, 의존성 주입(Dependency Injection)
인터페이스
해결책 2: 메소드 해결 순서를 고민한다
깊이 우선 탐색의 문제점
C3 선형화로 순서를 정한다
해결책 3: 처리를 섞는다
믹스-인
해결책 4: 트레이트
goto가 강력했지만 무대에서 사라져간 역사를 기억. 기능이 강력하다고 반드시 편리한 것만은 아니다.