함수형 프로그래밍의 역사.

  간단하게, 이 내용을 작성하는 것은, 자꾸만 주변에서 함수형프로그래밍이 망했던... 패러다임이라는 내용이 오갔던, 내용이 있어서 그에 대한 내용을 작성을 합니다.

 요즘 개발자들이 오해를 하는 부분들이 있는데, 함수형프로그래밍이 아주 최신에 만들어진 패러다임이라는 생각이다.

 간단하게 위의 이미지만 보더라도 말이다. 뭐 간단하게 말하면, 라이터와 성냥같은 차이이다. 라이터가 성냥보다 최근에 만들어진 도구라고 생각 할 수 있지만, 성냥이 더 최근에 개발된 것이다.

 컴퓨터 공학도라고 하면, 튜링머신에대해서 배웠을 것이다. 영화(이미테이션 게임 (2014))에서 본 사람들도 있을 것이고 말이다. 튜링머신이 왜 만들어졌는지 알까? 영화만으로 본 사람들은 독일군의 암호를 해독하는 그 장치가 튜링머신이라고 오해 할 수 있다. 하지만, 컴퓨터 공학도 라면, 간단하게 종이와 볼펜만 가지고 튜링머신을 만들 것이다.

 튜링머신은 20대 였던, 앨런튜링이 작성했던, 논문( 1936년 )에서 만들어진 기계 이름이다. 발명하게된 이유는 A라는 수학자가 세상에 우리가 알고 있는 모든 명제를 학습 시킨 머신이 있다면, 확인되지 않은 명제x를 입력을 하게 되었을 때, 모든 명제에 대해서 참과 거짓을 판별을 할 수 있고, 그렇게 하여 자동으로 명제X들을 다 풀어낼 수 있다. 이 내용을 부정하기 위해 만들어진 종이쪼가리 머신 일 뿐이다. 거짓에대한 증명을 홀팅프러블럼을 이용하여 증명 하였다.

 일단 대충 내용이 튜링머신에 대해서 길어지니, 왜 이 내용을 이야기하는 것일까? 우리가 알고 있는 절차형 프로그래밍이 튜링머신과 닮았다고 생각하지 않는가?

 현재의 상태를 보관 하고 있는 테이프(상태)에 따라 명령이 실행되는 방식이다. 절차지향형 프로그래밍언어 C라이크 언어들에 대한 내용이다.

 자 절차형프로그래밍에 대한 시초는 대충 훑어 보았고, 함수형프로그래밍의 시초를 한 번 살펴보자. 함수형프로그래밍의 방식은 람다대수부터 시작이라고 볼 수 있다. 1930년대 알론조 처치가 수학기초론을 연구하는 과정에서 람다 대수의 형식을 제안하였다. 정확한 년도는 노출되진 않지만, 개정판이 1936년에 나온걸 보면, 1930년 부터 개발하기 시작해서, 만들어진 것 같다.

 일단 잠깐만 수학시간이다.

 f(x) = x를 만족한다고 생각하자.
 그렇다면, f(1) = 1, f(2) = 2이다. 간단한 항등 함수이다.
 이걸 잠깐만 자바스크립트의 애로우 펑션으로 작성해보면....

const f = (x) => x

위 처럼 작성할 수 있다. 항등함수를 f(x) -> x 라고 표현을 하고, 람다대수도 표현이 가능 하기에...
λx.x 로 표현 할 수 있다. 이 경우에는 자바스크립트로..

x => x;

표현 가능한건 당연한 이야기이다. 자 내용이 조금 길어졌다.

f(x, y) -> x + y * y * x, 이건 어떻게 표현할까?

(x, y) => x + y * y * x

너무 당연하게도 이와같은 처리가 가능하다. 

추가적으로 커링의 개념이다. 람다식은 별도의 return없이 단항인경우, 연산을 리턴하게 된다. 이와 같은 특성을 이용 하면, x, y 두인자의 값을 전달 받을 필요없이.

(x) -> (y) -> x + y * y + x 와 같은 표현도 가능해지게 된다. 이게 커링이라는 개념을 뜻한다.

람다대수로 표현하게 되면,

λx.λy.x+y*y+x가 되게 된다.

 함수형 프로그래밍의 역사에대해서 이야기 하고 싶었는데... 람다대수를 사용하고 있다니? 너무 한 것 같지 않은가? 하지만, 함수형 프로그래밍은 저게 다다. 모든 함수형프로그래밍을 지원하는 언어는 위를 지원하지 않으면 말이 되지 않는다, 절차적 프로그래밍언어가 상태에 따라 함수의 실행이 바뀌는 것처럼 말이다.