스킴 (프로그래밍 언어)

스킴 (Scheme)은 함수형 프로그래밍 패러다임을 따르는 프로그래밍 언어이다. Lisp 계열 언어 중 하나이며, Lisp의 핵심적인 특징들을 간결하고 정교하게 구현한 것으로 유명하다. 다른 Lisp 구현체들과 비교하여 더욱 간결한 구문과 강력한 매크로 시스템을 가지고 있다.

주요 특징:

• 함수형 프로그래밍: 순수 함수형 프로그래밍을 지향하며, 부작용을 최소화하고 변수의 변경을 제한하는 방식으로 프로그래밍한다. 고차 함수(higher-order function)를 자유롭게 사용할 수 있다.
• S-표현식(S-expression): 코드와 데이터를 모두 S-표현식으로 나타낸다. 괄호를 이용하여 트리 구조를 표현하는 독특한 구문이다. 이는 코드의 생성과 조작을 용이하게 한다.
• 매크로 시스템: 강력한 매크로 시스템을 제공하여 언어 자체를 확장할 수 있다. 새로운 구문이나 제어 구조를 만들어 프로그래밍 방식을 사용자 정의할 수 있다.
• 정적 스코프: 변수의 스코프가 컴파일 시점에 결정된다.
• 강력한 꼬리 재귀(Tail Recursion): 꼬리 재귀 호출을 효율적으로 처리하여 스택 오버플로우를 방지한다. 이를 통해 반복적인 작업을 재귀 함수로 효율적으로 구현할 수 있다.
• 단순성과 최소주의: 필요한 기능만을 포함하여 언어 자체의 복잡성을 최소화한다. 이는 언어의 학습과 이해를 용이하게 한다.

활용 분야:

스킴은 특히 교육, 연구, 그리고 특수한 응용 분야에서 널리 사용된다. 그 단순성과 강력한 추상화 기능은 프로그래밍 언어의 설계와 구현을 연구하는 데 유용하다. 또한, 매크로 시스템을 활용하여 도메인 특화 언어(DSL)을 구축하는 데에도 활용된다.

표준:

R5RS, R6RS, R7RS 등 여러 표준이 존재하며, 각 표준은 언어의 기능과 구현 방식에 대한 세부적인 규정을 제공한다. 하지만, 이러한 표준 간의 차이점은 비교적 작은 편이다.

주요 구현체:

MIT-Scheme, Guile, Chicken Scheme 등 다양한 구현체가 존재한다. 각 구현체는 추가적인 기능이나 최적화를 제공할 수 있다.