C 코드를 생성하는 시스템 Lisp, sysp의 등장!

sysp는 homoiconic 매크로(Homoiconic Macros)를 통해 컴파일 시점에 C 코드를 생성하는 것을 목표로 한다. 커뮤니티에서는 homoiconicity의 정의에 대한 다양한 의견이 제시되었으며, 코드와 데이터를 동일한 방식으로 다루는 Lisp의 특징을 강조했다. 특히, Lisp 스타일의 가벼운 AST 조작(Lightweight AST Manipulation)을 통해 매크로를 구현하는 방식이 주목받았다. 이는 C와 같은 텍스트 기반 매크로와는 차별화되는 sysp의 핵심적인 특징이다.

토론에서는 Scheme의 위생적인 매크로(Hygienic Macros)와 sysp의 매크로 시스템을 비교하며, 언어 설계 철학에 대한 논의가 이루어졌다. Scheme의 위생적인 매크로는 복잡한 매크로를 안전하게 구현할 수 있지만, homoiconicity를 저해할 수 있다는 지적이 있었다. sysp는 Lisp 스타일의 매크로를 통해 코드 생성의 유연성(Code Generation Flexibility)을 확보하는 대신, 위생성 측면에서 트레이드오프(Trade-offs)를 선택한 것으로 보인다.

sysp는 Hindley-Milner 타입 추론(Hindley-Milner Type Inference)을 통해 개발자가 타입 어노테이션(Type Annotation) 부담 없이 코드를 작성할 수 있도록 지원한다. 타입이 결정되지 않은 경우, Value 타입(Tagged Union)으로 처리하여 유연성을 확보한다. 또한, 참조 카운팅(Refcounting) 기반의 메모리 관리를 통해 수동 메모리 관리의 어려움을 해결하고자 한다. 이러한 특징들은 sysp가 수치 계산 및 GPU 작업에 적합하도록 설계되었음을 보여준다.

sysp는 Lisp 코드를 읽고, 매크로를 확장하며, 타입 추론을 수행한 후 C 코드를 생성한다. 생성된 C 코드는 C 컴파일러를 통해 컴파일되어 실행 가능한 바이너리를 생성한다. 이러한 과정은 sysp가 특정 도메인(Domain Specific)에 최적화된 코드를 생성하고, 개발자가 생성된 코드를 검토하고 디버깅할 수 있도록 설계되었음을 의미한다. sysp는 직접적인 C 코드 생성(Direct C Generation)을 통해 런타임 오버헤드를 최소화한다.