이 글은 『코딩을 지탱하는 기술』을 읽고 생각과 지식을 덧붙여 정리했다. 책 내용과 100% 일치하지 않기 때문에 자세한 내용은 원문 참고를 권장한다.
3.1 문법이란
문법이란 언어 설계자가 정한 규칙이다. 문제를 바라보고 해결하는 사고방식에 영향을 준다.
3.2 스택 머신과 Forth
1 2 +- 1958년 개발된 FORTH는 문법이 거의 존재하지 않는 언어다.
-
계산 흐름을 명시적으로 표현하며, 스택 머신 개념을 확장시켰다.
- 이전에도 존재했던 스택(Stack)을 자료구조로 넘어 프로그래밍 언어 전체의 중심 개념으로 끌어올림
- JVM(Java Virtual Machine)과 같은 가상 머신도 내부적으로 스택을 사용한다.
- NASA 우주 탐사 프로젝트1에 활용했다.
3.3 구문 트리와 Lisp
(+ 1 2)- 1958년 개발된 Lisp는 코드를 구문 트리 구조2 그대로 표현한다.
- Garbage Collection을 최초 도입했다.
- 일급 함수형 프로그래밍의 핵심 개념3 대중화에 기여했다.
- JavaScript의 프로토타입 기반에 간접적으로 영향을 끼쳤다.
마치며
- 프로그래밍 언어들이 서로 깊이 연결되어 있다는 점이 인상 깊었다. Forth와 Lisp를 주로 다뤘지만, Smalltalk나 Self 같은 언어들의 영향력도 흥미로웠다.
- 지금까지 사용하던 언어의 기능이 새롭고 특별하다고만 생각했는데 알고 보니 많은 개념들은 이미 오래전 언어에서 출발했다.
참고 자료
-
https://www.forth.com/resources/space-applications/
↩ -
코드나 문장을 문법 규칙에 따라 계층적으로 분해한 형식
↩ -
일급 함수(First-class Function), 클로저(Closure), 불변성(Immutable)
↩