구조론 분들은 프로그래밍에 별로 관심이 없겠지만, 

시절이 시절인 만큼 프로그래밍에 대해서 좀 써보겠습니다.

김어준도 코딩을 했다고 하잖아요.

이제 개나소나 인공지능으로 프로그래밍을 할 수 있는 시대입니다.

야 너두 할 수 있습니다.

인공지능이 인간의 지식노동을 빠르게 대체하고 있습니다.

산업혁명이 인간의 육체노동력을 대체했다면

인공지능혁명은 인간의 지식노동력을 대체하는 겁니다.

과거의 지식노동은 많은 분야가 있겠지만,

그중에서도 프로그래밍에 대해서 좀 논하고자 합니다.

2,000년대의 디지털 혁명 이후에 가장 큰 변화가 생기는 분야이기 때문.

현재의 인공지능 프로그래밍이 좋다고 하지만, 

실제로 써보면 중하급 노동자는 대체를 해도

최상위 노동자는 대체할 수 없다는 걸 알게 됩니다.

최상위 노동자는 아키텍쳐입니다. 설계하는 사람이죠.

우리가 아는 대부분의 프로그래머는 일당 노가다에 비유됩니다.

디지털계 인력사무소인 SI업계의 종사자들이 여기에 해당되죠.

과거의 프로그래머는 주로 노가다에 특화된 사람들이었습니다.

수백 줄의 코드를 보고 있으면 어지러운데, 

이걸 인내심 있게 볼 수 있는 사람들이 코딩을 했습니다.

마치 책을 잘 읽을 수 있거나 외국어를 잘 번역할 수 있는 사람이 지식을 독점했던 것과 같습니다.

우리는 서울대 나온 윤석열을 돌대가리라고 놀리지만

30년 전만 해도 글자를 읽을 수 있으면 엘리트가 맞긴 했습니다.

그 많은 양의 문서를 비서울대가 읽기란 불가능 했으니깐.

이제 그 책읽는 기계들이 무덤으로 가야할 때가 본격화 됩니다.

책만 읽을 수 있고 현장 경험이 없어 판단력이 떨어지는 사람들이 

여태까지는 어찌어찌 귀족으로서 버텨왔으나

인공지능이 등장하면 이제는 뒤져야 할 때가 된 거.

오늘 프로그래밍에 대해서 논하는 이유는

한국에 프로그래밍의 본질에 대해서 이해하는 놈이 없기 때문.

모든 프로그래밍의 핵심에는 타입(type)이 있습니다.

그냥 "맥락"이라고 생각하면 됩니다.

프로그래밍 언어는 크게 2가지로 나뉩니다.

사용자의 코드 맥락을 직접 선언하는 정적언어와

사용자의 코드 맥락을 컴퓨터가 추정하는 동적언어입니다.

클라우드 시대 이전에는 동적언어가 주로 사용되었습니다.

모든 앱을 스스로 만들었고

자기 회사에 있는 서버(컴퓨터)에서 

컨텐츠를 제공했기 때문.

그런데 클라우드 시대가 되자 클라우드 제공자들은

사용자들한테 서버만 제공하는 게 아니라

관련된 툴 앱도 함께 제공하기 시작합니다.

아마존, MS, 구글 등이 하는 짓이죠.

우리가 아는 아마존, MS, 구글은 

홈쇼핑, 윈도우, 브라우져지만

실제로 이들이 돈을 버는 방법은 주로 클라우드입니다.

아마존은 인터넷 쇼핑에서 까먹고

클라우드로 돈벌고 있고

죽어가던 MS가 재기한 건 클라우드 덕분이죠.

구글이 클라우드가 좀 약하긴 하지만 그렇다고 치고.

하여간 클라우드 시대가 되면

프로그래밍의 본질인 타입(맥락)이 중요해집니다.

왜냐면 남이 만든 프로그램을 써야 하기 때문.

그래서 정적언어가 다시 주목받기 시작합니다.

서로의 맥락을 맞출 일이 많아졌기 때문인 거.

모든 프로그램은 저마다의 맥락이 있습니다.

하나의 프로그램(앱)만 쓴다면 맥락이 상관없지만

여러 앱을 쓰면 맥락을 일치시켜야 하는, 

즉, 프로토콜을 맞춰야 하는 일이 발생합니다.

근데 이게 단순히 데이터를 일치시키는 게 아니라

상태(=변수, 데이터, 명사)와 메소드(함수, 동사)를 

맥락(호출자)에 일치시킨다는 걸 아는 게 중요해집니다.

타입은 명사(데이터)와 동사(연산자)로 이루어집니다.

프로그래머가 하늘에서 떨어진 게 아니므로 모든 프로그래밍은 

기존의 수학을 기초합니다. 

자연수, 실수, 벡터, 뭐 이런 게 타입이라는 겁니다.

자연수만 하더라도 연산이 가능한 게 있고 불가능한 게 있습니다.

우리는 숫자만 알지만, 실제로는 가능한 연산자도 함께 정의되어 있습니다.

새로운 연산이 하고싶다? 그러면 새로운 수체계를 만들어낸 게

수학의 역사죠.

프로그래밍에서의 타입은 여기서 한발짝 더 나아갑니다.

니가 원하는 타입을 만들어봐.

그게 클래스입니다. OOP(객체지향언어)죠.

니가 만든 타입을 내가 좀 바꿔서 써보자.

상속입니다.

어떤 프로그램은 그 자체로 거대한 타입입니다.

여러 하위 타입을 거느리고 있죠.

여기서 고수와 하수가 갈립니다.

타입을 이해하느냐 아니냐로.

대부분의 하수는 복붙 코딩을 하기 때문에

타입을 이해하지 못 합니다.

사실 고수라고 하는 사람들도 

타입을 뭣하러 논하냐고 생각할 텐데

타입이 곧 맥락이고 관계입니다.

프로그램에서 발생하는 모든 버그는

타입 오류로 볼 수 있습니다.

가령 이런 식입니다.

호출자(상위 프로그램): 이런 걸 줘.

피호출자(하위 프로그램): 난 이게 하고 싶어.

호출자: 그건 내가 원한 게 아닌데? > 타입 오류

아까 말했듯이 동적언어는 타입을 추정합니다.

물론 컴퓨터가 돌대가리는 아니라서 99%는 문제가 없습니다.

문제는 1% 혹은 프로그래머가 타입을 섞어 쓰는 경우입니다.

그래서 디버그(오류 수정)도 주로 

타입 오류를 잡는데 집중되어 있습니다.

아닌 것 같다고? 니 눈을 찌르세요.

문제는 사람들이 데이터의 종류만 생각하고

타입의 한축인 연산자는 잘 생각하지 않는다는 겁니다.

게다가 호출자(상위 프로그램)가 타입(맥락)을 규정한다는 걸 아예 이해를 못 합니다.

피호출자(하위 프로그램) 주제에 호출자의 맥락을 넘어서는 짓을 하다가

타입 오류로 프로그램이 멈추는 게 당연한데,

프로그래머 들이 이걸 알면 왜 고수 프로그래머가 따로 있겠냐고요.

이건 일상에서도 흔히 아는데

민희진, 윤석열이 타입 오류를 일으킨 겁니다.

피호출자가 시스템의 범위를 벗어나는 짓을 하는 거.

재밌는 건, 복잡한 코드를 열심히 보다 보면

인간은 자기 상부를 잊는다는 겁니다.

여기서부턴 구조론에서 늘상 나오는 얘기입니다.

맥락을 잊고 자기 권한을 넘어서는 짓을 하는 놈은 멍청한 거 아니냐?

맞습니다. 근데 그런 인간이 99.99..%라는 게 인류의 진실입니다.

인공지능에 프로그래밍을 시킬 때는 

인간이 상위의 맥락에 하위의 맥락을 잘 맞추고

인공지능은 그 맥락에 따라 프로그래밍 노가다를 시키세요.

인공지능이 맥락을 맞추는 건 잘 못하기 때문.

사실 인간이 호출자고 인공지능이 피호출자인데

인공지능을 쓰다보면 인공지능이 똑똑하니깐

자꾸만 인공지능이 알아서 잘해주길 기대하게 됩니다만

그게 될 리가 없습니다.

왜냐면, 그건 물리적으로 불가능하기 때문.

니가 잘 모르는 건 인공지능도 알 방법이 없습니다.

니가 멍청한데 인공지능을 쓰고 천재가 될 수 있다?

그런 건 없습니다. 도구의 의미는 노가다의 대체에만 있습니다.

정반합중 합은 언제나 인간의 몫이고 정과 반을 인공지능이 대체합니다.

이 새끼(인공지능)가 시킨 대로 잘 못 한다?

니가 그 일에 대해서 아직 제대로 이해를 못 한 겁니다.

이건 프로그래밍만 국한되는 게 아닙니다.

니가 어떤 인공지능 도구를 쓰는데, 인공지능이 잘 못 만든다?

니가 니가 뭘 원하는 지 잘 모르는 겁니다.