Concepts
타입은 언어 레벨의 개념
타입 시스템? 빠른 오류 발견!
타입 오류 => 연산을 잘못된 값의 집합에 적용
Everything is an object => 추상화하여 문제 표현, 그에 맞게 작성 Class는 이걸 하기 위한 tool일 뿐
추상화 in GP = 재사용 가능한 코드 작성
OOP => 상속 => 제어해야함
GP => 필요에 의한 생성 => 적합한 타입인지 검사
Virtual의 접근법
Concepts의 접근법