집착하고 있는 것: 흐름

몇몇 지인들은 알고있는 사실이지만, 최근 3년간 집착하고 있는 것은 ‘흐름’이다. 다분히, 들뢰즈적인데, 2004년에 처음 만나서, 가장 많은 영향을 준 사람이니 당연하다면, 당연한 사실이다. 이렇게 쓰면서도 이것이 들뢰즈적이라고 부를 수 있는 것인지 의문스럽다. 공부는 안하면서, 단초만 잡아서 공상만하고 있는 것도 사실이므로.

이런 생각을 하게 된 데에는, 회사에서 밥벌이로 작성하고 있는 소프트웨어가 처절할 정도로 흐름에 기반을 두고 있고, 데이터의 흐름을 어떻게 하면 잘 처리해낼 수 있을 것인가가 관건이기 때문이다. 일반적으로 바라보는 객체지향 프로그래밍의 모델링 사상과는 어느 정도 동 떨어져 있는 것도 사실인데다, 복잡하기 그지없는 인터페이스의 난립에 지쳐있기 때문이기도 하다.

그런가하면, 이 ‘흐름’은 2001년에서 2003년까지 연구하던 주제이기도 하다. 당시에는 Business Process를 연구하고 있었고, BPMS와 Simulation Engine이 주요 과제였다. 이런 면에서 보면, 산업공학이란 전공을 선택한 것이 다행이라면 엄청난 다행이다. ‘흐름’은 절단 가능하고, 연결 가능한 그 무엇이다. BPMS와 Simulation Engine이 그랬던 것처럼. 그리고, 그 흐름에 연결되는 다양한 지반들을 어떻게 모델링 해낼 것인가가 현 시점에서 객체지향주의자로서 갖는 유의미한 과제다.

회사의 일정과 시장에서의 위치덕분에 지금 당장은 구현이 어려운 상황이다. 그런 이유로, 무언가 다른 일이 하나 필요할 듯 싶다. 가능하면, 올해 맞는 내 생일 전에 말이지. 씨익-

언어-사고: 프로그래밍은 왜 어려울까?

프로그래밍을 한다고 하면, 사람들은 종종 안드로메다에 거주하는 외계인으로 간주하는 경우가 있다. 특히, 작업하는 것을 옆에서 보게되면 더더욱 심하다. 영어의 탈을 쓴 알아볼 수 없는 괴악한 텍스트 문서를 만들고, 이상한 프로그램을 돌려서 그들이 사용하는 소프트웨어를 만들어내니 그렇게 생각하는 것도 무리는 아닐 것이다. 그런데, 사실 사람이 쓰는 언어보다 프로그래밍 언어 자체는 쉽다. 애매모호함도 덜하거니와, 기계적으로 맞아 떨어져야하는 언어이기 때문에 쉬운건 사실이다. 그렇다면, 왜 사람들은 프로그래밍을 어려워할까? 답은 사고에 있다.

인간이 사용하는 자연어는 일반적인 사고의 틀내에서 존재하지만, 프로그래밍 언어는 특정한 목적에 의해 특정한 사고의 틀내에 존재한다. 이 사고방식이 절차지향 프로그래밍이라든가 객체지향 프로그래밍이라든가 함수형 프로그래밍같은 거다. 이 사고방식은 컴퓨터라는 기계의 작동방식에 그 근원을 두고 있기 때문에 자연어의 사고방식과 유사하지만 다르다. 그리고, 이 차이가 어려움을 가져온다. 한가지 재밌는 것은, 자연어의 사고방식과 유사한 사고방식의 언어를 접하게 되면, 프로그래머도 난감해한다는 점이다. 기존의 방식과는 다르므로.

쉬운 프로그래밍은 근본적으로 불가능할지도 모른다. 하지만, 프로그래밍을 쉽게 배우려면, 언어나 문법에 집중하는게 아니라 그 사고의 작동방식에 초점을 맞추어야하지 않을까?

OOP: revisited #4

연결강도

OOP revisited: #3를 통해 패러디와 디자인 패턴, 설계사이에 어떤 관계를 설정할 수 있을지 생각해보았다. 헌데, 패러디는 다른 각도에서 또다른 접점을 갖는다. 바로 연결강도다.

패러디는 원작을 알고있어야 그 결과물을 이해할 수 있다. 만약 원작에 대해 모른다면, 아무리 잘 만든 패러디라고 해도 웃음짓기는 힘들 것이다. 예를 들어, 개그우먼 조혜련씨가 했던 ‘골룸’ 패러디를 생각해보자. 반지의 제왕을 알고 있는 사람 혹은 영화를 한번이라도 본 사람은 쉽게 ‘골룸’ 패러디에서 웃음코드를 찾아낼 수 있다. 사실, ‘골룸’을 몰라도 분장 자체가 웃겨서 웃길 수 있다. 그러나, 그 효과가 과연 같을까?

골룸!
다시 등장하신 골룸사마!

만약, 영화에서 비중이 그리 크지 않았던 메리같은 캐릭터를 패러디했다고 생각해보자. 과연 골룸만큼 널리 사람들을 웃길 수 있을까? 인지도나 임팩트 같은 개념으로도 설명할 수 있겠지만, 그것을 다 포괄하는 개념으로 연결강도를 이야기하고자 한다. 즉, 골룸이란 캐릭터와 반지의 제왕이란 작품사이의 연결강도는 메리같은 캐릭터보다 느슨했던 것이다. 반지의 제왕이란 작품에서 골룸을 떼어내서 변형을 가하는 것은 비중이 적은 캐릭터에 대해 같은 작업을 수행할때보다 더 쉽고, 더 효과적이다.

물론, 느슨하다는 것이 반지의 제왕이란 전체 작품에서 골룸이 차지하는 비중이 작다는 것이 아니다. 반지의 제왕에서 골룸이란 캐릭터를 끄집어 내는 작업이 수월하다는 것이다. 패러디의 입장에서 보면 연결강도가 느슨하면, 쉽고 효과적이다. 그리고, 이는 소프트웨어에서도 마찬가지다.

Loose coupling

Loose coupling이란 원칙은 패러디와 접점을 갖는다. OOP revisited: #3에서는 실세계-소프트웨어 간의 패러디를 이야기했지만, 여기에선 소프트웨어 내부의 패러디에 대해 이야기하고자 한다.

코드의 재사용성은 기존에 있던 코드를 다른 코드와 연결시키는 것으로 새로운 의미를 만들어낼 수 있을때 유효한 가치를 갖는다. 즉, 기존의 코드를 비틀어 새로운 소프트웨어를 만들어내는 작업이다. 역시, 패러디의 메커니즘에 영향을 받는다. 이런 점에서 볼 때, 패러디해야하는 코드에 골룸같은 독특하고 임팩트가 강한 개성적인 코드가 있는 것과 기억나지 않는 조연같은 코드가 있는 것은 천차만별이다. 그리고, 코드의 개성은 그 코드 묶음-클래스-이 어떤 역할을 수행하는가, 무엇을 나타내고 있는가에 의해 결정된다.

이 지점에서, 프로그래머는 예술가와 차이를 갖게된다. 예술가는 자신의 작품이 패러디 될 것이라 생각하지 않고 작업하지만, 프로그래머는 패러디를 예상해야 한다. 누군가가 -본인이 되었든, 후임이 되었든- 수정하고 싶어할지도 모른다. 그리고, 이 사실은 중요한 지점을 낳게 된다.

Software cannot be finished

물론, 소프트웨어는 끝나기 마련이다. 회사가 망하기도 하고, 수익이 더 이상 나지 않아서 제품을 없애기도 하고, 쓰는 사람이 없어서 자연스래 사장되기도 한다. 하지만, 개발하고 있는 순간에는 그 가능성을 잊어야한다. 소프트웨어는 지속적으로 변하는 생물과 같아서, 성장을 계속 주시하고 있어야 한다. 그리고, 그 성장을 지속적으로 준비해야 한다.

나는 얼마 전까지 이 성장을 컴포넌트의 집합으로 이해하고 있었고, 그게 얼마나 큰 실수였는지 깨달았다. 소프트웨어는 단순한 컴포넌트의 집합체가 아니다. 일반적인 인간사회에 더 가깝다. 각 컴포넌트들에게 최대한의 자유를 제공해야 한다. 미리 규정된 규칙에 따라 컴포넌트들이 연동하는 것이 아니라, 컴포넌트들이 자유롭게 서로를 사용하고, 서로에게 제공할 수 있어야 한다. 패러디를 예상한다는 것은 이런 상황을 제공한다는 것이기도 하고, 이런 상황에 대비하는 것이기도 하지만, 이렇게 생각하고 있어야 한다는 것을 의미한다.

기억하라. 프로그래머는 결코 자신이 만드는 소프트웨어를 완성할 수 없다. 다만, 잠시 쉴 뿐이고, 요구사항을 기다리거나 찾고 있을 뿐이다. 현명한 프로그래머라면, 항상 스스로를 패러디할 준비를 해야할 것이다.

OOP: revisited #3

패러디의 작동원리

지금까지 OOP: revisited #1OOP: revisited #2를 통해 철학과 미학의 개념을 빌려와서 객체지향 프로그래밍을 되밟아보았다. 이번에는 패러디를 빌려와서 객체지향 프로그래밍을 되밟아보기로 한다.

다음 커뮤니케이션즈에서 제공하는 백과 서비스를 이용해 찾은 패러디에 대한 정의는 다음과 같다.

문학에서 특정 작가의 약점이나 특정 문학유파의 과도한 상투성을 강조해보이기 위해 그들의 문체나 수법을 흉내내는 일종의 풍자적 비평이나 익살스러운 조롱조의 글. via 다음백과

위의 정의는 문학에 한정지어서 이야기하고 있다. 하지만, 일상에서 알 수 있듯이 패러디는 본연의 의미/형태를 비틀어서 웃음을 유발한다. 패러디 과정에서 발생하는 비틈의 메커니즘은 상당히 흥미로운데, 기존의 작품에 존재하는 사건의 구성요소-이하 요소-들을 반전시키기도 하고, 요소간의 연결관계를 뒤집거나 전혀 엉뚱한 곳에 연결지어 의외성을 노리는 것이다. 그리고, 그 비틈의 경우 비틈을 수행하는 사람이 가진 의도에 따라 정치적 혹은 색다른 의미를 내포하게 된다.

골룸!
골룸!

한국에서 유명한 패러디인 골룸을 생각해보자. 조혜련씨나 안영미씨가 즐겨하는 이 골룸 패러디는, 골룸이 가진 역사성이나 배경은 무시하고, 절대반지에 대한 탐욕과 그 외모만을 뽑아내서 자신의 분장과 연결시킨 후에, 이를 개그코너 혹은 무대와 연결짓는다. 골룸이 등장한 순간, 사람들은 코미디언이 비틀어놓은 골룸에서 웃음을 짓는다. 생략, 변형, 연결. 이 3가지가 패러디 메커니즘의 핵심이라고 할 수 있다.

패러디는 단순히 흉내를 내는 것이 아니라 일련의 생략/변형/연결을 통한 재창조과정이다. 콜라주나 리메이크/커버와도 일맥상통한다. (사실 결과를 제외하고 메커니즘만 본다면 동일하다고 할 수 있다.) 중요한 사실은, 요소와 요소사이의 관계에 변형을 가해서 새로운 것을 만들어 낸다는 것이다.

디자인 패턴의 메커니즘

디자인 패턴은 OOP: revisited #2에서 설명한 바와 같이 관계의 모방이다. 그러나, 그 모방을 위한 메커니즘은 일반적인 모사라기 보단, 패러디의 모사에 가깝다. 현실세계의 실체를 모방하여 개념을 만들고, 그 개념사이의 연결관계도 현실세계의 연결관계를 모사하지만, 굉장한 생략과 비틈이 존재한다.

생각해보자, 우리가 흔히 사용하는 Factory패턴의 경우만 해도 실제 공장에서 존재하는 노동자나 수많은 기계들, 운반을 위한 시스템 같은 것들은 전부 생략된다. 그리고, 공장의 특성인 물건을 만들어내는 공간이란 특성만을 뽑아내어 이를 객체를 만들어내는 객체로 비틀어 개념화한다. 그리고, 이를 만들어야 하는 객체와 연결시킴으로써 Factory패턴을 완성한다. 생략, 비틈, 연결의 조합이 Factory패턴을 만들어 낸 것이다.

이처럼 디자인 패턴은, 현실에 존재하는 관계 혹은 실체에 대해서 생략, 비틈, 연결을 수행한다. 그리고, 대상이 현실에 익숙한 관계/실체 이기 때문에 프로그래머가 인식/이해하는데 훨씬 편하다. 디자인 패턴은 제목만 이해하면 된다. 제목을 이해했고 관계/실체가 익숙한 것이라면, 이해는 그냥 따라오기 마련이다. 마치, 패러디가 웃음을 유발하는 것처럼 말이다.

패러디 메커니즘의 의미

익숙한 것을 끌어와서 변형하여 사용하면 여러모로 유익한 점이 많다는 것은 자명하다. 이해하기 쉬운 코드를 작성하기 위해, 혹은 간결한 설계를 하기 위해 패러디의 메커니즘을 적극적으로 사용할 필요가 있다고 생각한다. 읽는 사람이 이미 잘 알고 있는 것을 끌어온다면, 설명은 더욱 쉬워지기 마련이니 말이다.

패러디 메커니즘을 가져오자는 것이 단순히 이름을 빌려오자는 것은 아니다. 충분히 생각하고, 그 이름에 걸맞는 행동을 하는 설계를 해야한다는 점이다. 그리고, 그 실제 관계나 실체에 얽매이지 않기 위해 생략, 비틈, 연결을 수행해야 한다. 프로그래머/설계자는 기억해야한다. 자신은 결코 그림을 그리는 것이 아니라, 소프트웨어를 작성하고 있는 것임을.

OOP: revisited #2

OOP: revisited #1를 통해서 이야기했던 내용을 정리하면 다음과 같다.

객체지향의 핵심은 ‘추상화’

문제는 이 추상화라는 것이 자연스러운 것이긴 한데, 쉬운 것은 아니라는 점이다. 그리고, 문제가 복잡해지기 시작하면 실제 세계를 모델링해서 나온 객체 이외에 다른 종류의 객체들이 필요해진다. 인간이 실제 세계를 파악하는데 있어서 실제 사물들을 추상화한 개념concept만 사용하는 것은 아니기 때문이다. 굉장히 거칠게 말하면, 개념들을 연결하는 개념이 추가적으로 필요하기 마련이다. 집합, 접속사, 거리, 대화, 연결 등등 수많은 개념들이 실제 사물에서 파생된 개념이 아닌 개념과 개념을 연결해주는 역할을 한다. 이 개념들은 실제세계의 관계에 기반하기도 하지만, 재미있게도 사물의 기능에 기반하기도 한다. 연애소설에나 나올 법한 표현이지만, 사람사이의 관계를 ‘다리’라고 표현하는 경우가 있다. 이는 다리가 갖는 ‘연결’이라는 기능에 기반해서 의미를 포획하는 경우로 볼 수 있다.

디자인 패턴은 관계의 모방

객체지향 프로그래밍을 실제세계의 모방mimesis이란 관점에서 생각해보면, 자연스럽게 위와 같은 의미포획이 수행되리라는 사실을 짐작할 수 있다. 개념에 해당하는 객체를 만드는 것 뿐만 아니라, 그 객체들의 연결관계를 개념화하여 활용한다. 이런 류의 움직임을 가장 잘 포착할 수 있는 결과물은 ‘디자인 패턴’이다. ‘디자인 패턴’은 객체지향 소프트웨어를 작성하면서 자주 등장하는 패턴을 정리해둔 것인데, 널리 알려진 디자인 패턴들은 팩토리factory, 비지터visitor, 옵저버observer 등 실제세계에 존재하는 관계들의 ‘연결’을 모방하고 있다. 이미 디자인 패턴이란 말 자체에 객체간의 구성관계라는 의미를 내포하고 있다.

객체지향은 모방에서 출발하며, 그 모방은 범주를 가리지 않는다.

객체지향의 핵심이라고 지칭했던 ‘추상화’를 생각해보자. 추상화과정을 거쳐 프로그래머가 얻어낸 개념, 즉 클래스는 무엇일까? 실제세계의 객체를 반영하고 있는 것이겠지만, 과연 완벽한 “투사”의 결과물인가? 아니면 적당히 왜곡된 “모방”의 결과물인가? 아마, 투사의 결과물이라고 말할 수 있는 사람은 드물 것이다. 프로그래머가 작성한 클래스는 소프트웨어 시스템에서 필요한 만큼만 특징을 추출해서 만든 “모방”의 결과물이기 때문이다.

이처럼, 객체지향 프로그래밍은 거의 모든 부분에 있어서 -그 핵심인 ‘추상화’마저도- 모방을 실행한다. 그리고, 객체지향 프로그래밍 외부의 것을 모방할 뿐만 아니라, 그 내부의 것도 모방한다. 디자인 패턴을 활용하는 행위조차 디자인 패턴을 모방하여 자신의 코드를 작성하는 모방행위를 벗어나지 못한다. 이렇게 이야기하면 창의성이 없는 행위처럼 보일 수 있겠지만, 주어진 상황과 기존의 해법을 연결시키는 모방자체가 창의적인 행동이라고 보아야할 것이다. 디자인 패턴을 적용해보면 알겠지만, 종종 원래 패턴의 의미를 왜곡시켜 적용해야할 경우도 많다. 모방은 투사가 아니기 때문이다.

그리고, 이 모방들이 모여 결국은 소프트웨어란 이름의 세상을 만든다.

모방의 의미와 프로그래밍의 재미

이 글을 읽으시면서, 아마 눈치채신 분들도 있으리라 생각되지만, 핵심 개념인 모방은 미학에서 빌려온 개념이다. 그리고, 미학은 예술을 다룬다. 모방은 객체지향 프로그래밍을 가득 채우고 있다. 이 관점을 따라간다면, 객체지향 프로그래밍은 일종의 예술로 읽힐 수 있다. 실제로 그런 속성을 많이 가지고 있는 것도 사실이다. 하지만, 객체지향 프로그래밍에는 감정을 찾아볼 수 없다. 단지, 프로그래머의 이성적인 논리만 코드사이를 질주할 뿐이다. 따라서, 예술이라고 생각하는 것은 힘들지 않을까 싶다.

미학에서 빌려온 모방이 의미를 갖는 곳은 예술과 객체지향 프로그래밍의 접점이다. 이 접점은 철학과 객체지향 프로그래밍의 접점과 연결되면서, 화학적 결합을 낳는다. 객체지향 프로그래밍은 예술도 아니고 철학도 아니지만, 그 둘과 닮아있다. 이 오묘한 결합이 객체지향 프로그래밍이 재미있는 이유가 아닐까싶다.

예술가가 세상을 느끼고, 철학자가 세상을 판단한다면, 프로그래머는 세상을 만든다.

.. 이후는 패러디와 함께 다음 기회에 ..

OOP: revisited #1

프로그래밍이란 무엇일까? 이 질문에 답하는 것은 당황스러운 일이지만, 답은 매우 간단하다.

소프트웨어를 작성하는 것.

그렇다면, 소프트웨어를 작성하는 것은 무엇을 의미하는 것일까? 이 질문에 답하는 것은 어려운 일이지만, 내가 내린 답은 다음과 같다.

실세계에 존재하는 시스템을 모방하여 이를 컴퓨터 시스템위에서 구동시키는 일련의 과정

다시 한번! 그렇다면, 소프트웨어란 무엇일까?

소프트웨어는 당연히 하드웨어의 작동방식일테지만, 소프트웨어를 어떤 식으로 해부하느냐 혹은 바라보느냐(즉, 어떻게 모방하느냐)에 따라 그 패러다임은 심하게 달라질 수 있다. 그리고, 그 패러다임은 소프트웨어의 설계 및 구현은 설계에서 유지보수까지 소프트웨어 생명주기에 막대한 영향을 미치곤 한다.

패러다임을 이해하기 위해 그림 명화 두장을 준비했다. 왠 뜬금없는 미술이야기냐 라고 불평하실 분도 계시겠지만, 모방mimesis을 가장 극명하게 표현해내는 예술이 미술이므로 가져온 것이다. 일단 그림을 보면서 이야기해보자.

Las Meninas by Velazquez
Las Meninas by Velazquez

왼쪽의 그림은 디에고 벨라스케스Diego Rodríguez의 “시녀들”이라는 작품이다. 이 그림에 대한 자세한 내용은 위키백과를 통해서 확인하실수 있다.

1656년에 완성된 작품으로, 이 시기의 미술화풍을 잘 반영이라도 하듯 섬세한 표현이 두드러진다. 이 작품 내부에는 해석할만한 텍스트가 넘쳐나는 재미있는 작품이지만, 우리가 지금 이 작품에서 읽어야 할 것은 “텍스트”가 아니라 화풍이므로 자세한 것은 잊고 넘어가자.

Las Meninas - Picasso
Las Meninas - Picasso

오른쪽의 작품은 파블로 피카소 Pablo Picasso의 “시녀들”이다. 1957년에 그린 연작중 하나를 가져왔다. 흥미로운 점은 위의 “시녀들”을 파블로 피카소가 재해석해서 그린 그림이라는 점이다. 벨라스케스의 그림과는 엄청난 차이를 보인다. 이 차이는 어디에서 오는 것일까?

비록 벨라스케스의 시녀들을 보고 그린 그림이지만, 같은 이미지를 두고 두 사람의 해석이 다르다는 점을 알 수 있다. 사실, 같은 물건을 보고 그린 두 화가의 그림(사조도 다른!)을 비교하는 것이 가장 좋겠지만, 이 두 그림을 가지고도 충분히 모방에 있어서 사람의 생각 혹은 패러다임이 얼마나 작용하는지를 보여주는 사례라고 볼 수 있다.

그리고, 미술에서 나타나는 이 차이는 소프트웨어의 세계에도 그대로 적용된다.

미술의 사조가 화가가 받아들인 이미지를 어떤 식으로 그려내는가에 중점이 있다면, 프로그래밍의 패러다임은 프로그래머가 소프트웨어를 구성하는 기본 단위와 그 구성방식을 무엇으로 생각하느냐에 중점이 있다고 할 수 있다. 미술에 인상파, 고전주의, 낭만주의, 사실주의, 입체파, 추상파, 다다이즘등의 수많은 사조가 있다면, 프로그래밍에는 순차적 프로그래밍Procedual Programming, 객체지향 프로그래밍Object-Oriented Programming, 함수 프로그래밍Functional Programming, 관점지향 프로그래밍Aspect-Oriented Programming등이 존재한다.

순차적 프로그래밍은 소프트웨어를 일종의 시방서로 보는 패러다임으로 인간에 대한 배려보다는 컴퓨터라는 하드웨어를 어떻게 작동시킬 것인가에 초점을 맞추고 있다. (일반적인) C언어가 대표적인 사례라고 할 수 있으며, 대부분의 OS커널에서 제공하는 시스템 콜들이 이 패러다임을 따르고 있다. OS커널에서 제공하는 시스템 콜들을 기준으로 생각해본다면, 시스템 전체를 어찌 구성할 것인가 보다는, 하드웨어/커널이 가진 기능의 리스트에 가깝다. 또한, 하드웨어가 할 수 있는 일들을 목록으로 작성하고, 그 목록에 있는 일들을 어떤 순서로 실행할 것인가에 초점을 맞추고 있다.

함수 프로그래밍은 (수학적인) 함수들의 연결관계로 소프트웨어를 작성하는 방법론이다. 굉장히 유연하고, 직관적인 프로그래밍 방식이지만 인간이 기본적으로 세상을 인식하는 방식과는 차이가 있으며, 특수한 분야에서만 주로 사용되는 결과를 낳았다. 개인적으로는 상당히 관심이 가는 분야이며, 함수 프로그래밍분야에서 등장한 functor(함수자)의 개념은 C++에 도입되어 tr1::function과 같은 템플릿을 낳기도 하였으며, LISP나 scheme등의 언어적 기능들은 다른 객체지향 언어에 지대한 영향을 주었다.

마지막으로 오늘의 주제인 객체지향 프로그래밍이 있다. 객체지향 프로그래밍은 소프트웨어를 상태와 행동으로 정의되는 객체들의 상호연동을 이용해 소프트웨어를 표현한다. 객체지향 프로그래밍이 널리 사용되는 이유는 다름이 아니라, 객체지향 프로그래밍 패러다임이 제공하는 생각의 방식이 인간의 기본적인 사고방식과 유사하기 때문이다. 그리고, 그 유사성의 핵심은 추상화abstraction에 있다.

철학의 주제 중 하나인 인식론에서 그 유래를 찾아볼 수 있는 추상화는 다음과 같이 정리할 수 있다.

  1. 세상의 모든 사물은 다르다. 서로 같은 것은 존재하지 않는다.
  2. 그럼에도 인간은 사물을 구분짓는다. (Classification)
  3. 즉, 인간은 각 사물이 존재하는 공통된 성분을 추출하여 이를 토대로 세상을 인식한다.

이렇게 정리해놓으면 알쏭달쏭하지만, 쉽게보면 다음과 같다.

네모 두개

위의 그림을 놓고 “저 둘은 뭐죠?” 라는 질문을 던진다면, 보통 “네모 두개” 혹은 “직사각형 두개”라는 답변이 나올 것이다. 크기도 다르고 색깔도 다르지만, 자연스럽게 두 도형의 공통된 특징을 추출하여 개념화하는 것이다. 이 과정이 인식론적 추상화의 시작점이다. 인식론 혹은 일반철학에서 이런 추상화의 결과로 나온 것을 흔히 개념concept이라고 부른다. 실제 사물이 인식되어 인간의 사고속에 담겨지는 그 “무언가”를 개념이라고 호칭한다. 물론, 이 개념은 실제 사물과 연결되는 것도 있고, 아닌 것도 있지만 이 글에서 논하는 것은 범주를 넘어서므로 딱히 논하지는 않겠다.

객체지향 프로그래밍은 이 추상화의 과정을 거쳐 생성된 개념들을 코드로 옮긴다. 이때 작성된 코드가 객체의 설계도라고 볼 수 있는 클래스class인지, 아니면 객체의 첫 상태라고 볼 수 있는 프로토타입prototype인지에 따라 세부적인 형태는 달라질 수 있겠지만, 어쨌든 개념을 코드로 옮긴다는 점에서는 동일하다고 볼 수 있다.

다시 살짝 인식론으로 돌아가서 본다면, 인간이 하는 일이 사물을 통해 개념을 만들어내는 추상화의 작업만 있는 것은 아니다. 알고 있는 개념을 이용해 그에 부합하는 사물을 만들어내거나 모사하는 구체화의 작업도 존재한다. 객체지향 프로그래밍에서는 이 과정이 코드 실행단계라고 이야기할 수 있다. 코드로 옮겨진 개념들이 컴퓨터라는 기계를 통해 실행되면서, 실제로 객체가 생성되고 상호작용을 시작하는 것이다. 그리고, 이 상호작용을 통해 프로그래머의 의도를 표현하게 된다.

물론, 인간이 추상화를 어떤 방식으로 수행하는지와 그 결과물인 개념이 어떤 구성요소로 이루어져 있는지에 관해서는 이견이 많을 수 있겠지만, 객체지향 프로그래밍에서는 명확하게 정의되어 있다. 객체는 상태와 행위로 구성된다. 따라서, 그 객체를 개념화한 클래스 혹은 프로토타입 역시 상태와 행위로 구성된다. 이론적으로 본다면, 객체지향 프로그래밍 패러다임은 인간의 자연스러운 추상화에 의해 생성된 개념을 코드라는 형태로 써내려가기만 하면 손쉽고 자연스러운 소프트웨어 작성을 도모할 수 있다.

이론은 어디까지나 이론이다. 인간이 생각해낸 개념을 상태와 행위로 구성되는 개념만으로 표현이 힘든 것도 있거니와, A라는 프로그래머가 만든 개념이 불필요하게 복잡하고 이해하기 어려운 형태일 수도 있고, 또는 지나치게 단순하거나 한 개념에 너무 많은 것을 뭉뚱 그려놓은 (흔히 말하는 -스파게티-) 형태일 수도 있다. 이런 이론과 현실의 갭이 프로그래머의 능력을 나타내는 지표가 될 수 도 있겠지만, 객체지향 프로그래밍의 단점으로 바라볼 수 도 있다.

이 갭을 줄일 수 있는 가장 좋은 방법은 아마도 논리적-철학적 사고방식의 습관화가 아닐까 생각해본다. 어쩌면, 소프트웨어 개발자/프로그래머에게 가장 필요한 지식은 수학이라기 보다는 철학일 수 도 있을 것이다.

.. 이후는 다음 기회에 (우왕 길다)

ps. 꼴랑 이거 쓰는데 한달 걸렸어요. 쳇.
ps2. 레이아웃 깨지는 문제로 다시 엽니다. 🙂

왜 람보 개발자인가?

밝혀두건데, 이번 “SW개발자들이여, ‘람보’가 되라” 사건(?)의 폭풍의 핵이신 김대환 사장님과 병특으로 2년째, 프리랜서까지 포함하면 3년째 같이 일하고 있습니다.

‘람보’라는 마초적인 단어가 내포하고 있는 의미는 영화에서 처럼 무식하게 혼자 일을 다 해치우는 슈퍼 울트라 히어로 메가톤급 개발자를 의미하는 것은 아니라고 생각합니다. 소프트웨어 분야는 분명, 소프트하며 이런 특성은 한명의 인력이 해낼 수 있는 것이 10인분 많게는 100인분이라고 볼 수 있지요. 코드의 미적 요소 (건축과 비견되는 것입니다. 웹디자인 생각하지 마세요.), 효율성, 매일 부딪히는 수학문제들(주로 Complexity지요.)과 같은 두뇌의 회전 방향에 의해 결정되는 것들이 많은 것이 소프트웨어 산업의 현장입니다. 더 보기 “왜 람보 개발자인가?”

영감과 코드

수많은 선구자들은 “기술적 영감- techinical inspiration”이라는 걸 얻어서 컴퓨터-기술역사에 한 획을 긋고 자신의 이름을 후세에 널리 알림과 동시에 저서를 통해 후세들이 먹고 살 기반까지 마련해주는 경우가 종종 있다. 비록 짧은 50년의 역사이긴 하지만, 가장 급속도로 발전한 학문분야라고 할 수 있으며, 수학에 단련된 천재라면 당연한 일이라고 생각될 수 도 있다.

더 보기 “영감과 코드”

Cut and Paste. 이젠 XV신공!

학부시절 유행하던 말이 있었다. 이른바 “CV신공”.

쫓기는 기말때에 어김없이 몰아치는 텀프로젝트의 폭풍우 앞에서 가련한 학부생들은 째다 붙이기라는 기술의 연마를 통해 학점을 딸 수 밖에 없었다. 그리하야 컨트롤키와 C, V키가 닳아서 없어질 정도로(?) Ctrl-C / Ctrl-V 를 눌러댔다. 이래서 생긴 말이 CV신공.

어느덧 시간이 흘러, 회사에 입사하고 열심히 코드를 작성하다 보니 언제부터인가 코드를 복사해서 붙이는 것이 아닌, 코드를 잘라서 붙여놓고 다시 가져다 쓰는 형태로 작업이 바뀌어 있었다. 이제 CV신공이 아니라 Ctrl-X / Ctrl-V를 반복해서 사용하는 XV신공이라 부름직 하다.

Refactoring이라고 부르는 멋들어진 단어를 갖다 붙이지 않더라도, 우선 XV신공은 대단한 위력을 지닌다. 코드의 볼륨을 키우지 않고도 재사용성을 높일 뿐 아니라, 문제가 생겼을 때 이를 추적하고 수정하는 일 역시 간단하게 바꾸어 주는 것이다.

XV신공의 진가는 이 기술을 시전하다 보면, 언제 시전할지 예측이 되며 예측이 될때 미리 시전해 둔다는 점이다. 미리미리 해두면, 코드의 작성 시간은 점점 줄어들며 이를 반복하다 보면 어느새인가 쓸만한 라이브러리들이 만들어져 있다. XV신공에 의해 체득되는 예측력은 이를 가능하게 하는 원동력이다.

또한, STL을 사용해 작업을 하다 보면 컨테이너에 루프를 돌거나 특정 값을 찾아서 어떤 일을 해야하는 경우가 많은데 이런 경우에 XV신공은 더더욱 위력을 발휘한다. STL의 알고리즘을 사용하게 되면, 특정 비교 작업이나 특정 처리 작업들을 자연스럽게 함수자/함수/멤버함수의 형태로 만들게 되고, 이는 매번 루프를 타이핑 하는 양을 획기적으로 줄여준다.

CV신공이 그 코드량을 빠르고 편하게 늘려 거대한 괴물을 양산하는 완성품 생산형 체제라면, XV신공은 코드의 증가량을 최대한 억제하면서 복잡하지 않은 코드를 만들고 코드가 재사용될 확률을 높이는 부품 생산형 체제라고 볼 수 있다.

XV신공을 사용하게 될 경우, 대부분 잘라낸 코드는 함수형태로 만들게 된다. 이 시점부터 함수의 이름이 엄청나게 중요해진다. 함수의 이름을 잘 지어야, 코드의 가독성이 올라간다. 이름을 잘 짓지 못하면, 차라리 CV신공이 나을 수도 있다. – 이름은 적당히 길어야 좋다. 에디터의 자동완성 기능을 믿자. –

XV신공에 의해 생성된 함수-실행단위들은 여러가지 부가적인 효과들을 가져온다. 특정 로직의 진입점에 대한 제어가 명확해지므로 동시성의 처리가 편해진다. 이미 기 작성된 로직과 같은 기능을 하는 다른 로직을 테스트해보거나 옵션 처리로 작업을 시켜야 할때도 역시 편하다. 최적화를 시켜야할 포인트를 찾는 것 역시 편해진다. 적절히 잘라진 함수-실행단위들은 프로파일러들을 통해 수행시간을 측정할 수 있으며, 이는 CV에 의해 생성된 거대한 코드를 디버깅하는 것과는 차원이 다르다고 할 수 있다. 범위가 좁혀지는 것 만으로도 수사망은 더 확고해 지기 마련이므로.

프로젝트 마감시일이 급박한데 어찌 여유있게 저런 일을 할 수 있느냐고 생각할 수 있지만, 결국은 버릇이다. 습관화된 XV신공은 CV신공보다 요구하는 시간이 그리 크지 않다. 대신 얻는 것은 눈에 보이듯 뻔한 일이다. 편한게 좋은 것 아니겠는가. 하하.

ps. C++에는 inline이란 아주 멋들어진 녀석이 있어서, 함수호출비용 같은건 머릿속에서 날려버린지 오래랍니다. 키힛.

STLPort팀에 패치를 보내다.

일하는 중간에 컴파일러를 Microsoft Visual C++ Compiler에서 Intel C++ Compiler로 바꿔보면 어떨까라는 생각이 문득 들기에..

삽질을 해버렸습니다. 므흣.

먼저 stlport 4.6.2로 삽질을 했는데, 하다보니 어차피 5.0으로 옮길거 귀찮기도 하고 해서 stlport 5.0.1로 버젼을 바꾸고 빌드 시도.

boost에서 std::type_info를 못찾는다고 징징거리고, new.h를 인클루드 할 수 없다고 배째기에 코드를 곰곰히쳐다보았더랍니다.

문제는 Intel C++ Compiler가 MSVC 호환모드로 작동할때에는 Intel용 컴파일과 다른 식의 설정적용이 되어야 하는데 그게 안되어 있더군요. 훗. MSVC 호환모드면서 Intel C++ Compiler라면 처리를 다르게 해주어야 하는데 말이죠..

그래서 #if 문에 몇가지 조건문을 넣어주니 완벽하게 작동. 눈물을 흘리면서, 기뻐했더랍니다. 하하.

내친김에 WinMerge로 패치파일 만들어서 stlport팀에 보내주었더니 1시간 좀 지나서 바로 적용해주네요. 아이 기분 좋아라. >.<b

5.0.2에는 단 2줄이지만 까막군의 수정사항도 반영될듯. 에헤.