[💬] 18. SICP 2.1.3 - 자료란 무엇을 뜻하는가

SICP 책을 읽다가 abstract data와 data structure 에 대한 설명이 미흡한것을 보충하고자 위키피디아를 열심히 찾아봤는데,

abstract data type 은 한국어로 추상 자료형이고, data structure 는 자료구조 라고 변역된다는것을 알았다.

데이터를 자료 라고 번역한다는것도 처음 암. 앞으로 자료와 데이터를 섞어 쓰도록 함.

전부 원서로 읽고 있으니 한국어로 뭐라 부르는지 알수가 있어야지...

여하튼,

저번 세션에서는 자료의 추상화에 대해 배웠다. 유리수 사칙연산을 구현할 때 유리수 자료의 구현방법은 나중에 생각하고 유리수 자료의 사용방법에 대해서만 먼저 생각했다.

이런식으로 자료의 사용을 먼저 생각하는것을 자료의 추상화 라고 부른다... 라고 SICP 에서는 설명한다.

그렇다면 이 "자료"라는것은 정확히 무엇인가?

SICP에서 자료란 아래의 것들의 집합이라고 정의한다.

1. constructor 생성자

2. 자료의 정보를 추출 할 수 있는 selector

3. 사용 목적에 부합하기 위한 각종 조건들.

예를 들어서 유리수 자료를 처음 생각할 때 SICP는 아래를 먼저 정의했다.

1. (make-rat <n> <d>) -> 생성자. 분자가 n, 분모가 d인 유리수를 리턴한다.

2. (numer <x>) (denom <x>) -> 셀렉터. 각각 분자와 분모를 리턴한다.

3. 임의의 정수 n, d에 대해서 x 가 (make-rat n d)라면 아래의 식을 만족해야 한다. -> 조건

보면 알 수 있듯이 구현 방법은 나중에 생각하고 어떻게 사용해야 하는지만을 생각하고 있다.

즉, SICP 에서 말하는 "자료"란 철저하게 사용자의 입장에서 생각하며, 어떠한 조건에서 어떻게 사용 가능한가? 로 정의 된다는 것.

근데 SICP에서 말하는 자료는 위키피디아에서 추상 자료형 (abstract data type ADT)라고 부르는 듯 하다.

구체적인 구현 방법은 없는 사용자의 입장에서 생각하는 수학적 모델이라고 하는듯.

그리고 이 ADT를 구체적으로 구현하는 하나의 방법으로 자료구조가 있다는듯.

즉, 위키피디아 식으로말하자면 어떤 프로그램을 설계할 때는 추상 자료형으로 틀을 잡고, 그 뒤에 자료구조 등으로 실제 자료를 구현한다. 라는것.

SICP 식으로 말하자면 어떤 프로그램을 설계할 때는 자료의 추상화를 통해 틀을 잡고, 나중에 자료의 구현을 생각한다. 라는거.

실제로 자료(위키의 ADT)를 구현하는 방식으로는 몇가지 방법이 있는데,

하나는 자료구조를 이용하는것이고, 또 하나는 자료구조를 전혀 사용하지 않고 함수만을 사용하는 방법이 있다.

이전 글에서는 lisp의 페어, 즉 2-튜플 자료구조를 이용해서 유리수 자료를 구현을 했는데,

SICP에서는 자료구조를 전혀 사용하지 않고 함수로만 구현하는 방법을 소개한다.

자료를 함수만으로 구현하는것 프로그래밍 스타일을 message passing 이라고 부르는데 챕터3에서 다룬다는듯.

----------- 잡소리 ------------------

이 SICP 책은 개념의 추상화를 매우 중요하게 여기는 듯 하다.

프로시저(함수)의 추상화에서도 개념을 어떻게 추상화 할 수 있는가를 계속해서 빌드업 했었고,

자료의 추상화 에서도 개념을 어떻게 추상화 할 것인가를 추상 자료형을 사용해서 강조하고 있다.

즉, SICP의 프로그래밍 언어의 이해 방법은 어떻게 사람의 작업을 탑다운 형식으로 짜 내려갈 것인가에 집중한다는것.

가장 큰 작업의 개념을 정리하고, 각각의 개념을 다시 더 작은 개념으로 정리하고, 다시 그것을 반복해서 로우레벨로 내려가는것.

그것을 하기 위해 함수의 추상화와 자료의 추상화를 자세하게 설명하고 있는것이 아닐까?

이렇게 탑다운 형식으로 개념을 먼저 정리하고, 그 개념에서 사용하기 위한 자료란 무엇인가? 를 생각하기 때문에 SICP에서는 자료의 정의를 사용자의 입장에서만 내린것.

댓글 2