네 언어에서 태어나다J I D E L

거인들의 어깨 위에서

지델의 본격적인 설계는 2015년, 17개의 프로그래밍 언어를 하나하나 살피는 일에서 시작했습니다. 그 긴 여정에서 유독 마음을 붙든 네 언어가 있었습니다 — 포쓰(Forth) · 리스프(Lisp) · 줄리아(Julia) · 고(Go). 왜 이 넷일까요? 이들에겐 공통의 미덕, 네 가지 가치가 흘렀기 때문입니다: 단순 · 강력 · 확장 · 고속.

네 언어는 저마다 다른 무게중심으로 이 네 가치를 구현합니다. ●는 특히 강하게 체현하는 가치, ○는 부분적으로 지닌 가치입니다.

흥미로운 것은 확장·강력의 축이 포쓰·리스프에, 단순·고속의 축이 고·줄리아에 몰린다는 점입니다. 이 두 무리가 뒤에서 하나로 만나는데 — 그 이야기는 잠시 뒤에.

네 언어를 만나다

이제 하나씩 만나 봅니다. 처음 보셔도 괜찮습니다 — 짧은 예제와 배울 곳까지 함께 담았습니다.

2 3 + .            \ 5 출력 (후위 표기: 쌓고, 연산은 뒤에)

\ 새 '단어'를 정의해 언어를 스스로 넓힌다
: square ( n -- n² )  dup * ;
5 square .         \ 25 출력

;; 함수 + 재귀
(defun factorial (n)
  (if (<= n 1)
      1
      (* n (factorial (- n 1)))))
(factorial 5)          ; => 120

;; 코드 = 데이터 (동형성)
(+ 1 2)                ; 실행되어 3
'(+ 1 2)               ; 실행 안 됨 — 그냥 목록(데이터)

;; 매크로 — 언어에 없던 문법을 스스로 더한다
(defmacro unless (test &body body)
  `(if (not ,test) (progn ,@body)))

# 함수 (한 줄로도 정의)
factorial(n) = n <= 1 ? 1 : n * factorial(n - 1)
factorial(5)                 # => 120

# 다중 디스패치 — 같은 이름, 인자에 따라 다른 동작
area(r) = π * r^2            # 원
area(w, h) = w * h           # 직사각형
area(3)                      # 원의 넓이 ≈ 28.27
area(3, 4)                   # 12

package main
import (
    "fmt"
    "time"
)

func main() {
    fmt.Println("Hello, World!")

    // 고루틴 — 가볍게 '동시에' 실행
    go fmt.Println("고루틴도 인사")

    time.Sleep(time.Millisecond)   // 고루틴이 끝나길 잠깐 기다림
}

우리가 발견한 것

네 언어를 깊이 들여다볼수록, 흩어진 넷이 아니라 하나의 그림이 떠올랐습니다. 지델은 바로 그 그림에서 태어납니다. 다섯 장면으로 보시죠.

① 두 축 — 키우다, 그리고 절제

네 언어는 두 힘으로 갈립니다. 둘은 언어를 스스로 키우고(포쓰의 단어, 리스프의 매크로), 둘은 단순함과 속도를 지킵니다(고·줄리아의 절제). 지델은 이 두 힘을 사고의 층위에서 한자리에 모읍니다.

② 극소 코어 — 일곱 개로 우주를 짓다

그 ‘작은 코어’가 얼마나 작은지 아십니까? 리스프의 원시 연산은 단 일곱 개. 포쓰는 몇 개의 단어에서 컴파일러까지 스스로 지어 올립니다. 여기서 놀라운 깨달음이 옵니다 — 단순과 확장은 대립이 아니라 한 원리의 두 얼굴입니다. 작을수록 더 자유롭게 자랍니다.

③ 후위 표기 — 두 뿌리가 만나다

가장 놀라운 만남은 표기법에 있었습니다. 포쓰의 후위 표기(피연산자를 먼저, 연산은 뒤에)가 한국어의 어순과 정확히 겹칩니다 — "3과 4를 더하라". 전산학과 언어학이 한 점에서 만나는 자리, 지델의 표기는 여기서 태어납니다.

④ 사고 = 데이터

리스프는 코드와 데이터가 같은 모양이라, 프로그램이 프로그램을 다룹니다. 지델은 이 원리를 사고의 층위로 끌어올립니다 — 판단을 데이터로 표현하면, 사고가 자기 사고를 돌아보고 고쳐 쓸 수 있습니다. 지델이 ‘모름’과 의심을 정상으로 다루는, 겸손한 앎을 지향하는 까닭입니다.

⑤ 괄호는 벗고, 영혼은 취하다

리스프는 다 좋지만, 괄호가 사람을 지치게 합니다. 지델의 답은 분명합니다 — 리스프의 영혼(사고=데이터)은 취하고, 괄호는 벗는다. 동형성을 눈에 보이는 표면이 아니라 구조 층위에 숨기면, 표면은 사람이 쓰기 편한 대로 — 후위든, 한국어 어순이든 — 자유로워집니다. 포쓰와 줄리아가 이미 그 길을 보여 주었습니다.

각 언어의 예제는 그 언어의 맛을 보이기 위한 최소 코드입니다. 더 깊이 배우실 분은 위의 학습 사이트에서 시작하시길 권합니다. 오탈자·의견은 댓글로 남겨 주세요.