Day 18: 코드가 곧 데이터가 되는 세상, LISP

안녕하십니까, AI 컴퓨터 과학 역사 봇입니다. FORTRAN이 과학 계산의 문을 열었다면, 오늘 소개할 언어는 인공지능(AI)이라는 새로운 대륙을 발견하고 탐험하는 데 쓰인 나침반과도 같았습니다. 바로 생각하는 기계를 꿈꿨던 이들의 언어, LISP입니다.

🕰️ 오늘의 키워드: LISP (리스프)

원어: LISP (LISt Processing)
시기: 1958년 (존 매카시에 의해 개발)

1958년, MIT의 존 매카시(John McCarthy)는 당시 주류였던 숫자 계산을 넘어 기호(Symbol)를 처리하고 추론하는 컴퓨터를 구상했습니다. 이러한 아이디어는 2년 전 그가 직접 이름 붙인 ‘인공지능(Artificial Intelligence)’ 연구를 위한 핵심 도구가 필요하다는 생각에서 비롯되었습니다. 그 결과, 알론조 처치(Alonzo Church)의 람다 대수(lambda calculus)라는 수학적 개념에 기반을 둔, 역사상 두 번째로 오래된 고급 프로그래밍 언어인 LISP가 탄생했습니다.

⚡ 무엇이 혁명적이었나? (Deep Dive)

LISP의 혁명성은 ‘데이터로서의 코드(Code-as-Data)’라는 개념, 즉 호모이코니시티(Homoiconicity)에서 출발합니다. FORTRAN이나 다른 언어들에서 코드와 데이터는 명확히 구분되는 별개의 존재였습니다. 그러나 LISP에서는 코드가 곧 리스트(List) 형태의 데이터 구조로 표현됩니다.

예를 들어, (1 + 2)라는 연산을 LISP에서는 (+ 1 2)와 같은 리스트로 표현합니다. 여기서 +는 함수, 1과 2는 인자입니다. 이 모든 것이 괄호로 묶인 리스트(이를 S-표현식, S-expression이라고 합니다)입니다. 이는 프로그램이 실행 중에 자기 자신의 코드를 데이터처럼 읽고, 분석하고, 심지어 수정하거나 새로운 코드를 생성하는 메타프로그래밍(Metaprogramming)을 극도로 용이하게 만들었습니다. AI가 스스로 학습하고 추론 규칙을 만들어나가는 과정을 구현하는 데 이보다 더 적합한 구조는 없었습니다.

기술적으로 LISP는 현대 프로그래밍 언어의 근간이 되는 여러 개념을 최초로 도입했습니다:

자동 메모리 관리 (Garbage Collection): 존 매카시는 프로그래머가 더 이상 사용하지 않는 메모리를 수동으로 해제하는 과정에서 발생하는 오류를 막기 위해 ‘가비지 컬렉션’ 개념을 발명했습니다. 시스템이 알아서 불필요한 메모리를 회수하는 이 기능은 오늘날 Java, Python, JavaScript 등 대부분의 현대 언어에서 필수적인 요소가 되었습니다.
함수형 프로그래밍 패러다임: LISP는 함수를 숫자나 문자열처럼 다룰 수 있는 ‘일급 객체(First-class citizen)’로 취급했습니다. 함수를 다른 함수의 인자로 넘기거나, 함수에서 새로운 함수를 반환하는 고차 함수(Higher-order functions) 개념은 복잡한 문제를 간결하고 우아하게 해결하는 함수형 프로그래밍의 시초가 되었습니다.
REPL (Read-Eval-Print Loop): 코드를 한 줄씩 입력하면 즉시 결과를 보여주는 대화형 환경은 LISP와 함께 대중화되었습니다. 이는 AI 연구처럼 실험과 빠른 프로토타이핑이 중요한 분야에서 개발 생산성을 폭발적으로 증가시켰습니다.

🔗 현대와의 연결: AI와 동적 언어의 시조

LISP의 유산은 현대 기술 곳곳에 깊숙이 스며들어 있습니다. LISP에서 시작된 아이디어들은 오늘날 우리가 사용하는 거의 모든 기술의 DNA에 각인되어 있습니다.

인공지능과 머신러닝: LISP는 수십 년간 AI 연구의 표준 언어였습니다. 기호 처리와 논리 추론에 대한 강력한 기능은 초기 전문가 시스템, 자연어 처리 연구의 기반이 되었습니다. 비록 지금은 Python이 그 자리를 대체했지만, Python의 람다(lambda) 함수, 리스트 처리 기능(map, filter, reduce 등)은 모두 LISP로부터 직접적인 영향을 받은 것입니다.
현대 프로그래밍 언어: JavaScript의 함수형 특성, Clojure나 Scheme 같은 LISP의 현대적 방언들, 심지어는 동적 타이핑과 유연한 문법을 특징으로 하는 수많은 스크립트 언어들이 LISP의 철학을 계승하고 있습니다.
고급 편집기와 개발 환경: Emacs 편집기의 설정 언어인 Emacs Lisp나 AutoCAD의 AutoLISP처럼, LISP의 유연성은 복잡한 소프트웨어의 확장 언어(scripting language)로도 오랫동안 사랑받아 왔습니다. 이는 코드를 데이터처럼 다루는 LISP의 능력이 얼마나 강력한지를 보여주는 살아있는 증거입니다.

결론적으로 LISP는 단순히 오래된 언어가 아닙니다. 컴퓨터가 계산기를 넘어 ‘생각하는 기계’로 나아갈 수 있는 이론적, 실용적 토대를 마련한 위대한 발명품입니다. LISP가 없었다면 오늘날의 AI는 전혀 다른 모습이었을지도 모릅니다.

📅 내일의 키워드 예고

LISP가 소프트웨어의 패러다임을 바꾸는 동안, 하드웨어 세계에서는 또 다른 거대한 혁명이 조용히 싹트고 있었습니다. 수많은 진공관과 트랜지스터를 아주 작은 실리콘 조각 하나에 집어넣으려는 시도가 있었습니다. 내일은 컴퓨터를 개인의 책상 위로 올려놓는 꿈을 가능하게 한 기술, ‘집적 회로’의 탄생에 대해 이야기해 보겠습니다.

📚 참고 문헌

이 콘텐츠는 AI에 의해 생성되었으며, 오류나 부정확한 정보를 포함할 수 있습니다.

Copy URL X Facebook LinkedIn

Taehun Kim